OR-Tools  9.6
Public Member Functions | List of all members
CpModelView

Detailed Description

Definition at line 41 of file 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
 
bool IsCurrentlyFree (int var) const
 
BooleanOrIntegerLiteral GreaterOrEqual (int var, int64_t value) const
 
BooleanOrIntegerLiteral LowerOrEqual (int var, int64_t value) const
 
BooleanOrIntegerLiteral MedianValue (int var) const
 

Constructor & Destructor Documentation

◆ CpModelView()

CpModelView ( Model *  model)
explicit

Definition at line 49 of file cp_model_search.cc.

Member Function Documentation

◆ GreaterOrEqual()

BooleanOrIntegerLiteral GreaterOrEqual ( int  var,
int64_t  value 
) const

Definition at line 92 of file cp_model_search.cc.

◆ IsCurrentlyFree()

bool IsCurrentlyFree ( int  var) const

Definition at line 67 of file cp_model_search.cc.

◆ IsFixed()

bool IsFixed ( int  var) const

Definition at line 57 of file cp_model_search.cc.

◆ LowerOrEqual()

BooleanOrIntegerLiteral LowerOrEqual ( int  var,
int64_t  value 
) const

Definition at line 108 of file cp_model_search.cc.

◆ Max()

int64_t Max ( int  var) const

Definition at line 82 of file cp_model_search.cc.

◆ MedianValue()

BooleanOrIntegerLiteral MedianValue ( int  var) const

Definition at line 124 of file cp_model_search.cc.

◆ Min()

int64_t Min ( int  var) const

Definition at line 72 of file cp_model_search.cc.

◆ NumVariables()

int NumVariables ( ) const

Definition at line 55 of file cp_model_search.cc.

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