CBMC
|
Decision Procedure Interface. More...
#include <iosfwd>
#include <string>
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... | |
Decision Procedure Interface.
Definition in file decision_procedure.h.
|
inline |
Add Boolean constraint src
to decision procedure dest
.
Definition at line 82 of file decision_procedure.h.