OR-Tools  8.2
CpModelMapping

Detailed Description

Definition at line 63 of file cp_model_loader.h.

Public Member Functions

void CreateVariables (const CpModelProto &model_proto, bool view_all_booleans_as_integers, Model *m)
 
void DetectOptionalVariables (const CpModelProto &model_proto, Model *m)
 
void LoadBooleanSymmetries (const CpModelProto &model_proto, Model *m)
 
void ExtractEncoding (const CpModelProto &model_proto, Model *m)
 
void PropagateEncodingFromEquivalenceRelations (const CpModelProto &model_proto, Model *m)
 
bool IsBoolean (int ref) const
 
bool IsInteger (int ref) const
 
sat::Literal Literal (int ref) const
 
IntegerVariable Integer (int ref) const
 
AffineExpression LoadAffineView (const LinearExpressionProto &exp) const
 
IntervalVariable Interval (int i) const
 
template<typename List >
std::vector< IntegerVariable > Integers (const List &list) const
 
template<typename ProtoIndices >
std::vector< sat::LiteralLiterals (const ProtoIndices &indices) const
 
template<typename ProtoIndices >
std::vector< IntervalVariable > Intervals (const ProtoIndices &indices) const
 
bool ConstraintIsAlreadyLoaded (const ConstraintProto *ct) const
 
bool IsHalfEncodingConstraint (const ConstraintProto *ct) const
 
int GetProtoVariableFromBooleanVariable (BooleanVariable var) const
 
int GetProtoVariableFromIntegerVariable (IntegerVariable var) const
 
const std::vector< IntegerVariable > & GetVariableMapping () const
 
int NumIntegerVariables () const
 
int NumBooleanVariables () const
 
const absl::flat_hash_set< int64 > & PotentialEncodedValues (int var)
 

Member Function Documentation

◆ ConstraintIsAlreadyLoaded()

bool ConstraintIsAlreadyLoaded ( const ConstraintProto *  ct) const
inline

Definition at line 172 of file cp_model_loader.h.

◆ CreateVariables()

void CreateVariables ( const CpModelProto &  model_proto,
bool  view_all_booleans_as_integers,
Model m 
)

Definition at line 115 of file cp_model_loader.cc.

◆ DetectOptionalVariables()

void DetectOptionalVariables ( const CpModelProto &  model_proto,
Model m 
)

Definition at line 664 of file cp_model_loader.cc.

◆ ExtractEncoding()

void ExtractEncoding ( const CpModelProto &  model_proto,
Model m 
)

Definition at line 334 of file cp_model_loader.cc.

◆ GetProtoVariableFromBooleanVariable()

int GetProtoVariableFromBooleanVariable ( BooleanVariable  var) const
inline

Definition at line 186 of file cp_model_loader.h.

◆ GetProtoVariableFromIntegerVariable()

int GetProtoVariableFromIntegerVariable ( IntegerVariable  var) const
inline

Definition at line 190 of file cp_model_loader.h.

◆ GetVariableMapping()

const std::vector< IntegerVariable > & GetVariableMapping ( ) const
inline

Definition at line 195 of file cp_model_loader.h.

◆ Integer()

IntegerVariable Integer ( int  ref) const
inline

Definition at line 122 of file cp_model_loader.h.

◆ Integers()

std::vector< IntegerVariable > Integers ( const List &  list) const
inline

Definition at line 148 of file cp_model_loader.h.

◆ Interval()

IntervalVariable Interval ( int  i) const
inline

Definition at line 140 of file cp_model_loader.h.

◆ Intervals()

std::vector< IntervalVariable > Intervals ( const ProtoIndices &  indices) const
inline

Definition at line 162 of file cp_model_loader.h.

◆ IsBoolean()

bool IsBoolean ( int  ref) const
inline

Definition at line 107 of file cp_model_loader.h.

◆ IsHalfEncodingConstraint()

bool IsHalfEncodingConstraint ( const ConstraintProto *  ct) const
inline

Definition at line 181 of file cp_model_loader.h.

◆ IsInteger()

bool IsInteger ( int  ref) const
inline

Definition at line 112 of file cp_model_loader.h.

◆ Literal()

sat::Literal Literal ( int  ref) const
inline

Definition at line 117 of file cp_model_loader.h.

◆ Literals()

std::vector< sat::Literal > Literals ( const ProtoIndices &  indices) const
inline

Definition at line 155 of file cp_model_loader.h.

◆ LoadAffineView()

AffineExpression LoadAffineView ( const LinearExpressionProto &  exp) const
inline

Definition at line 131 of file cp_model_loader.h.

◆ LoadBooleanSymmetries()

void LoadBooleanSymmetries ( const CpModelProto &  model_proto,
Model m 
)

Definition at line 273 of file cp_model_loader.cc.

◆ NumBooleanVariables()

int NumBooleanVariables ( ) const
inline

Definition at line 207 of file cp_model_loader.h.

◆ NumIntegerVariables()

int NumIntegerVariables ( ) const
inline

Definition at line 200 of file cp_model_loader.h.

◆ PotentialEncodedValues()

const absl::flat_hash_set< int64 > & PotentialEncodedValues ( int  var)
inline

Definition at line 219 of file cp_model_loader.h.

◆ PropagateEncodingFromEquivalenceRelations()

void PropagateEncodingFromEquivalenceRelations ( const CpModelProto &  model_proto,
Model m 
)

Definition at line 581 of file cp_model_loader.cc.


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