IntegerSearchHelper

Detailed Description

Definition at line 243 of file integer_search.h.

Public Member Functions
	IntegerSearchHelper (Model *model)
bool	BeforeTakingDecision ()
LiteralIndex	GetDecision (const std::function< BooleanOrIntegerLiteral()> &f)
bool	TakeDecision (Literal decision)
SatSolver::Status	SolveIntegerProblem ()

Constructor & Destructor Documentation

IntegerSearchHelper()

IntegerSearchHelper ( Model *  model )

explicit

Definition at line 843 of file integer_search.cc.

Member Function Documentation

BeforeTakingDecision()

bool BeforeTakingDecision

(

)

Definition at line 859 of file integer_search.cc.

GetDecision()

LiteralIndex GetDecision

(

const std::function< BooleanOrIntegerLiteral()> &

f

)

Definition at line 889 of file integer_search.cc.

SolveIntegerProblem()

SatSolver::Status SolveIntegerProblem

(

)

Definition at line 980 of file integer_search.cc.

TakeDecision()

bool TakeDecision

(

Literal

decision

)

Definition at line 940 of file integer_search.cc.

---

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

• integer_search.h
• integer_search.cc