List of all members.
Classes |
| struct | stack_elem |
Public Member Functions |
|
| DPLLSolver (set< Term * > &ilp_terms, map< Term *, SatValue > *assignments=NULL) |
|
| DPLLSolver (CNode *theory_tautologies, set< Term * > &ilp_terms, map< Term *, SatValue > *assignments=NULL) |
|
void | push (CNode *c) |
|
void | pop () |
|
CNode * | get_stack () |
|
void | restrict (CNode *background) |
|
bool | is_sat () |
|
CNode * | get_background_assumptions () |
|
string | get_stats () |
|
CNode * | get_current_assignment () |
|
int | get_num_consecutive_boolean_complete () const |
|
double | boolean_complete_ratio () const |
|
double | time_verifying_boolean_assignment () const |
|
int | num_clauses_checked_in_theory () const |
|
CNode * | substitute_partial_assignment (CNode *constraint) |
The documentation for this class was generated from the following files:
