Classes | Public Member Functions
DPLLSolver Class Reference

List of all members.


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 ()
CNodeget_stack ()
void restrict (CNode *background)
bool is_sat ()
CNodeget_background_assumptions ()
string get_stats ()
CNodeget_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
CNodesubstitute_partial_assignment (CNode *constraint)

The documentation for this class was generated from the following files: