SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::VarSchedulerMinisat::VarOrderLt Struct Reference

Public Member Functions

bool operator() (Minisat::Var x, Minisat::Var y)
 
 VarOrderLt (std::function< bool(Minisat::Var, Minisat::Var)> cmp)
 

Data Fields

std::function< bool(Minisat::Var, Minisat::Var)> cmp
 

Detailed Description

Definition at line 118 of file VarScheduler.h.

Constructor & Destructor Documentation

◆ VarOrderLt()

smtrat::VarSchedulerMinisat::VarOrderLt::VarOrderLt ( std::function< bool(Minisat::Var, Minisat::Var)>  cmp)
inlineexplicit

Definition at line 127 of file VarScheduler.h.

Member Function Documentation

◆ operator()()

bool smtrat::VarSchedulerMinisat::VarOrderLt::operator() ( Minisat::Var  x,
Minisat::Var  y 
)
inline

Definition at line 122 of file VarScheduler.h.

Field Documentation

◆ cmp

std::function<bool(Minisat::Var,Minisat::Var)> smtrat::VarSchedulerMinisat::VarOrderLt::cmp

Definition at line 120 of file VarScheduler.h.

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