SAT::DPLLT::Decider Class Reference

#include <dpllt.h>

Inherited by CVC3::SearchSatDecider.

Collaboration diagram for SAT::DPLLT::Decider:

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:

• dpllt.h