CVC3  2.4.1
Public Member Functions | Private Attributes | List of all members
CVC3::SearchSatDecider Class Reference
Inheritance diagram for CVC3::SearchSatDecider:
SAT::DPLLT::Decider

Public Member Functions

 SearchSatDecider (SearchSat *ss)
 
 ~SearchSatDecider ()
 
Lit makeDecision ()
 Make a decision. More...
 
- Public Member Functions inherited from SAT::DPLLT::Decider
 Decider ()
 
virtual ~Decider ()
 

Private Attributes

SearchSatd_ss
 

Detailed Description

Definition at line 91 of file search_sat.cpp.

Constructor & Destructor Documentation

CVC3::SearchSatDecider::SearchSatDecider ( SearchSat ss)
inline

Definition at line 94 of file search_sat.cpp.

CVC3::SearchSatDecider::~SearchSatDecider ( )
inline

Definition at line 95 of file search_sat.cpp.

Member Function Documentation

Lit CVC3::SearchSatDecider::makeDecision ( )
inlinevirtual

Make a decision.

Implements SAT::DPLLT::Decider.

Definition at line 97 of file search_sat.cpp.

Member Data Documentation

SearchSat* CVC3::SearchSatDecider::d_ss
private

Definition at line 92 of file search_sat.cpp.


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