CVC3  2.4.1
Public Member Functions | List of all members
SAT::DPLLT::Decider Class Reference

#include <dpllt.h>

Inheritance diagram for SAT::DPLLT::Decider:
CVC3::SearchSatDecider

Public Member Functions

 Decider ()
virtual ~Decider ()
virtual Lit makeDecision ()=0
 Make a decision.

Detailed Description

Definition at line 92 of file dpllt.h.

Constructor & Destructor Documentation

SAT::DPLLT::Decider::Decider ( )
inline

Definition at line 94 of file dpllt.h.

virtual SAT::DPLLT::Decider::~Decider ( )
inlinevirtual

Definition at line 95 of file dpllt.h.

Member Function Documentation

virtual Lit SAT::DPLLT::Decider::makeDecision ( )
pure virtual

Make a decision.

Implemented in CVC3::SearchSatDecider.

Referenced by SATDecisionHook(), and MiniSat::Solver::search().


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