#include <decision_procedure.h>
Definition at line 20 of file decision_procedure.h.
◆ resultt
◆ decision_proceduret()
decision_proceduret::decision_proceduret |
( |
const namespacet & |
_ns | ) |
|
|
inlineexplicit |
◆ ~decision_proceduret()
decision_proceduret::~decision_proceduret |
( |
| ) |
|
|
virtual |
◆ dec_solve()
virtual resultt decision_proceduret::dec_solve |
( |
| ) |
|
|
pure virtual |
◆ decision_procedure_text()
virtual std::string decision_proceduret::decision_procedure_text |
( |
| ) |
const |
|
pure virtual |
◆ get()
virtual exprt decision_proceduret::get |
( |
const exprt & |
expr | ) |
const |
|
pure virtual |
◆ operator()()
resultt decision_proceduret::operator() |
( |
| ) |
|
|
inline |
◆ print_assignment()
virtual void decision_proceduret::print_assignment |
( |
std::ostream & |
out | ) |
const |
|
pure virtual |
◆ set_to()
virtual void decision_proceduret::set_to |
( |
const exprt & |
expr, |
|
|
bool |
value |
|
) |
| |
|
pure virtual |
◆ set_to_false()
void decision_proceduret::set_to_false |
( |
const exprt & |
expr | ) |
|
|
inline |
◆ set_to_true()
void decision_proceduret::set_to_true |
( |
const exprt & |
expr | ) |
|
|
inline |
◆ ns
The documentation for this class was generated from the following files: