SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::SATModule< Settings >::VarOrderLt Struct Reference
Collaboration diagram for smtrat::SATModule< Settings >::VarOrderLt:
Collaboration graph
[legend]

Public Member Functions

bool operator() (Minisat::Var x, Minisat::Var y)
 
 VarOrderLt (Minisat::vec< double > &activity)
 

Data Fields

Minisat::vec< double > & activity
 

Detailed Description

template<class Settings>
struct smtrat::SATModule< Settings >::VarOrderLt

Definition at line 220 of file SATModule.h.

Constructor & Destructor Documentation

◆ VarOrderLt()

template<class Settings >
smtrat::SATModule< Settings >::VarOrderLt::VarOrderLt ( Minisat::vec< double > &  activity)
inlineexplicit

Definition at line 229 of file SATModule.h.

Member Function Documentation

◆ operator()()

template<class Settings >
bool smtrat::SATModule< Settings >::VarOrderLt::operator() ( Minisat::Var  x,
Minisat::Var  y 
)
inline

Definition at line 224 of file SATModule.h.

Field Documentation

◆ activity

template<class Settings >
Minisat::vec<double>& smtrat::SATModule< Settings >::VarOrderLt::activity

Definition at line 222 of file SATModule.h.

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