operations_research::sat::CpModelView Class Reference

Detailed Description

Definition at line 47 of file cp_model_search.h.

#include <cp_model_search.h>

Public Member Functions
	CpModelView (Model *model)
int	NumVariables () const
bool	IsFixed (int var) const
int64_t	Min (int var) const
int64_t	Max (int var) const
BooleanOrIntegerLiteral	GreaterOrEqual (int var, int64_t value) const
BooleanOrIntegerLiteral	LowerOrEqual (int var, int64_t value) const
BooleanOrIntegerLiteral	MedianValue (int var) const
BooleanOrIntegerLiteral	RandomSplit (int var, int64_t lb, int64_t ub) const

Constructor & Destructor Documentation

CpModelView()

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

explicit

Definition at line 50 of file cp_model_search.cc.

Member Function Documentation

GreaterOrEqual()

BooleanOrIntegerLiteral operations_research::sat::CpModelView::GreaterOrEqual	(	int	var,
		int64_t	value ) const

Definition at line 89 of file cp_model_search.cc.

IsFixed()

bool operations_research::sat::CpModelView::IsFixed

(

int

var

)

const

Definition at line 59 of file cp_model_search.cc.

LowerOrEqual()

BooleanOrIntegerLiteral operations_research::sat::CpModelView::LowerOrEqual	(	int	var,
		int64_t	value ) const

Definition at line 105 of file cp_model_search.cc.

Max()

int64_t operations_research::sat::CpModelView::Max

(

int

var

)

const

Definition at line 79 of file cp_model_search.cc.

MedianValue()

BooleanOrIntegerLiteral operations_research::sat::CpModelView::MedianValue

(

int

var

)

const

Definition at line 121 of file cp_model_search.cc.

Min()

int64_t operations_research::sat::CpModelView::Min

(

int

var

)

const

Definition at line 69 of file cp_model_search.cc.

NumVariables()

int operations_research::sat::CpModelView::NumVariables

(

)

const

Definition at line 57 of file cp_model_search.cc.

RandomSplit()

BooleanOrIntegerLiteral operations_research::sat::CpModelView::RandomSplit	(	int	var,
		int64_t	lb,
		int64_t	ub ) const

Definition at line 140 of file cp_model_search.cc.

---

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

• ortools/sat/cp_model_search.h
• ortools/sat/cp_model_search.cc