CVC3  2.4.1
Public Member Functions | Private Attributes | List of all members
MiniSat::VarOrder Class Reference

#include <minisat_varorder.h>

Public Member Functions

 VarOrder (const std::vector< signed char > &ass, const std::vector< double > &act)
void newVar (void)
void newVar (int varIndex)
void update (Var x)
void undo (Var x)
Var select (double random_freq=.0)

Private Attributes

const std::vector< signed char > & assigns
const std::vector< double > & activity
Heap< VarOrder_ltheap
double random_seed

Detailed Description

Definition at line 60 of file minisat_varorder.h.

Constructor & Destructor Documentation

MiniSat::VarOrder::VarOrder ( const std::vector< signed char > &  ass,
const std::vector< double > &  act 
)
inline

Definition at line 67 of file minisat_varorder.h.

Member Function Documentation

void MiniSat::VarOrder::newVar ( void  )
inline
void MiniSat::VarOrder::newVar ( int  varIndex)
inline
void MiniSat::VarOrder::update ( Var  x)
inline
void MiniSat::VarOrder::undo ( Var  x)
inline
Var MiniSat::VarOrder::select ( double  random_freq = .0)
inline

Member Data Documentation

const std::vector<signed char>& MiniSat::VarOrder::assigns
private

Definition at line 61 of file minisat_varorder.h.

Referenced by newVar(), and select().

const std::vector<double>& MiniSat::VarOrder::activity
private

Definition at line 62 of file minisat_varorder.h.

Heap<VarOrder_lt> MiniSat::VarOrder::heap
private

Definition at line 63 of file minisat_varorder.h.

Referenced by newVar(), select(), undo(), and update().

double MiniSat::VarOrder::random_seed
private

Definition at line 64 of file minisat_varorder.h.


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