decision_procedure.h File Reference

#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

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 76 of file decision_procedure.h.