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_proceduret &	operator<< (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.