operations_research::sat::IntegerSearchHelper Class Reference

Detailed Description

Definition at line 268 of file integer_search.h.

#include <integer_search.h>

Public Member Functions
	IntegerSearchHelper (Model *model)
ABSL_MUST_USE_RESULT bool	BeforeTakingDecision ()
bool	GetDecision (const std::function< BooleanOrIntegerLiteral()> &f, LiteralIndex *decision)
LiteralIndex	GetDecisionLiteral (const BooleanOrIntegerLiteral &decision)
void	NotifyThatConflictWasFoundDuringGetDecision ()
bool	TakeDecision (Literal decision, bool use_representative=true)
SatSolver::Status	SolveIntegerProblem ()

Constructor & Destructor Documentation

IntegerSearchHelper()

operations_research::sat::IntegerSearchHelper::IntegerSearchHelper ( Model * model )

explicit

Definition at line 1350 of file integer_search.cc.

Member Function Documentation

BeforeTakingDecision()

bool operations_research::sat::IntegerSearchHelper::BeforeTakingDecision

(

)

Definition at line 1364 of file integer_search.cc.

GetDecision()

bool operations_research::sat::IntegerSearchHelper::GetDecision	(	const std::function< BooleanOrIntegerLiteral()> &	f,
		LiteralIndex *	decision )

Definition at line 1451 of file integer_search.cc.

GetDecisionLiteral()

LiteralIndex operations_research::sat::IntegerSearchHelper::GetDecisionLiteral

(

const BooleanOrIntegerLiteral &

decision

)

Definition at line 1426 of file integer_search.cc.

NotifyThatConflictWasFoundDuringGetDecision()

void operations_research::sat::IntegerSearchHelper::NotifyThatConflictWasFoundDuringGetDecision ( )

inline

Definition at line 291 of file integer_search.h.

SolveIntegerProblem()

SatSolver::Status operations_research::sat::IntegerSearchHelper::SolveIntegerProblem

(

)

Definition at line 1526 of file integer_search.cc.

TakeDecision()

bool operations_research::sat::IntegerSearchHelper::TakeDecision	(	Literal	decision,
		bool	use_representative = true )

Definition at line 1488 of file integer_search.cc.

---

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

• ortools/sat/integer_search.h
• ortools/sat/integer_search.cc