operations_research::sat::CompoundMoveBuilder Class Reference

Detailed Description

Definition at line 636 of file feasibility_jump.h.

#include <feasibility_jump.h>

Public Member Functions
	CompoundMoveBuilder (int num_variables)
void	Push (int var, int64_t prev_value, double score)
bool	Backtrack (int *var, int64_t *value, double *score)
void	Clear ()
int	Size () const
bool	OnStack (int var) const
double	Score () const
double	BestChildScore () const
int	Discrepancy () const
bool	StackValuesInDomains (absl::Span< const Domain > var_domains) const

Constructor & Destructor Documentation

CompoundMoveBuilder()

operations_research::sat::CompoundMoveBuilder::CompoundMoveBuilder ( int num_variables )

inlineexplicit

Definition at line 638 of file feasibility_jump.h.

Member Function Documentation

Backtrack()

bool operations_research::sat::CompoundMoveBuilder::Backtrack	(	int *	var,
		int64_t *	value,
		double *	score )

Definition at line 1176 of file feasibility_jump.cc.

BestChildScore()

double operations_research::sat::CompoundMoveBuilder::BestChildScore ( ) const

inline

Definition at line 664 of file feasibility_jump.h.

Clear()

void operations_research::sat::CompoundMoveBuilder::Clear

(

)

Definition at line 1165 of file feasibility_jump.cc.

Discrepancy()

int operations_research::sat::CompoundMoveBuilder::Discrepancy ( ) const

inline

Definition at line 669 of file feasibility_jump.h.

OnStack()

bool operations_research::sat::CompoundMoveBuilder::OnStack

(

int

var

)

const

Definition at line 1172 of file feasibility_jump.cc.

Push()

void operations_research::sat::CompoundMoveBuilder::Push	(	int	var,
		int64_t	prev_value,
		double	score )

Definition at line 1189 of file feasibility_jump.cc.

Score()

double operations_research::sat::CompoundMoveBuilder::Score ( ) const

inline

Definition at line 660 of file feasibility_jump.h.

Size()

int operations_research::sat::CompoundMoveBuilder::Size ( ) const

inline

Definition at line 654 of file feasibility_jump.h.

StackValuesInDomains()

bool operations_research::sat::CompoundMoveBuilder::StackValuesInDomains

(

absl::Span< const Domain >

var_domains

)

const

Definition at line 1205 of file feasibility_jump.cc.

---

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

• ortools/sat/feasibility_jump.h
• ortools/sat/feasibility_jump.cc