CBMC
decision_procedure.h File Reference

Decision Procedure Interface. More...

#include <iosfwd>
#include <string>
+ Include dependency graph for decision_procedure.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  decision_proceduret
 An interface for a decision procedure for satisfiability problems. More...
 

Functions

decision_proceduretoperator<< (decision_proceduret &dest, const exprt &src)
 Add Boolean constraint src to decision procedure dest. More...
 

Detailed Description

Decision Procedure Interface.

Definition in file decision_procedure.h.

Function Documentation

◆ operator<<()

decision_proceduret& operator<< ( decision_proceduret dest,
const exprt src 
)
inline

Add Boolean constraint src to decision procedure dest.

Definition at line 82 of file decision_procedure.h.