CpModelMapping

Detailed Description

Definition at line 66 of file cp_model_mapping.h.

Public Member Functions
bool	IsBoolean (int ref) const
bool	IsInteger (int ref) const
sat::Literal	Literal (int ref) const
IntegerVariable	Integer (int ref) const
AffineExpression	Affine (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::Literal >	Literals (const ProtoIndices &indices) const
template<typename List >
std::vector< AffineExpression >	Affines (const List &list) 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
LinearExpression	GetExprFromProto (const LinearExpressionProto &expr_proto) const
int	NumIntegerVariables () const
int	NumBooleanVariables () const
int	NumProtoVariables () const

Member Function Documentation

Affine()

AffineExpression Affine ( const LinearExpressionProto &  exp ) const

inline

Definition at line 95 of file cp_model_mapping.h.

Affines()

std::vector<AffineExpression> Affines ( const List &  list ) const

inline

Definition at line 126 of file cp_model_mapping.h.

ConstraintIsAlreadyLoaded()

bool ConstraintIsAlreadyLoaded ( const ConstraintProto *  ct ) const

inline

Definition at line 143 of file cp_model_mapping.h.

GetExprFromProto()

LinearExpression GetExprFromProto ( const LinearExpressionProto &  expr_proto ) const

inline

Definition at line 170 of file cp_model_mapping.h.

GetProtoVariableFromBooleanVariable()

int GetProtoVariableFromBooleanVariable ( BooleanVariable  var ) const

inline

Definition at line 157 of file cp_model_mapping.h.

GetProtoVariableFromIntegerVariable()

int GetProtoVariableFromIntegerVariable ( IntegerVariable  var ) const

inline

Definition at line 161 of file cp_model_mapping.h.

GetVariableMapping()

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

inline

Definition at line 166 of file cp_model_mapping.h.

Integer()

IntegerVariable Integer ( int  ref ) const

inline

Definition at line 86 of file cp_model_mapping.h.

Integers()

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

inline

Definition at line 112 of file cp_model_mapping.h.

Interval()

IntervalVariable Interval ( int  i ) const

inline

Definition at line 104 of file cp_model_mapping.h.

Intervals()

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

inline

Definition at line 133 of file cp_model_mapping.h.

IsBoolean()

bool IsBoolean ( int  ref ) const

inline

Definition at line 71 of file cp_model_mapping.h.

IsHalfEncodingConstraint()

bool IsHalfEncodingConstraint ( const ConstraintProto *  ct ) const

inline

Definition at line 152 of file cp_model_mapping.h.

IsInteger()

bool IsInteger ( int  ref ) const

inline

Definition at line 76 of file cp_model_mapping.h.

Literal()

sat::Literal Literal ( int  ref ) const

inline

Definition at line 81 of file cp_model_mapping.h.

Literals()

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

inline

Definition at line 119 of file cp_model_mapping.h.

NumBooleanVariables()

int NumBooleanVariables ( ) const

inline

Definition at line 189 of file cp_model_mapping.h.

NumIntegerVariables()

int NumIntegerVariables ( ) const

inline

Definition at line 182 of file cp_model_mapping.h.

NumProtoVariables()

int NumProtoVariables ( ) const

inline

Definition at line 198 of file cp_model_mapping.h.

---

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

• cp_model_mapping.h