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.
- 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: