operations_research::sat::CpModelMapping Class Reference

Detailed Description

Definition at line 67 of file cp_model_mapping.h.

#include <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
int	GetProtoLiteralFromLiteral (sat::Literal lit) const
const std::vector< IntegerVariable > &	GetVariableMapping () const
LinearExpression	GetExprFromProto (const LinearExpressionProto &expr_proto) const
std::pair< int64_t, int64_t >	ComputeMinMaxActivity (const LinearConstraintProto &proto, IntegerTrail *integer_trail)
int	NumIntegerVariables () const
int	NumBooleanVariables () const
int	NumProtoVariables () const

Friends
void	LoadVariables (const CpModelProto &model_proto, bool view_all_booleans_as_integers, Model *m)
void	ExtractEncoding (const CpModelProto &model_proto, Model *m)

Member Function Documentation

Affine()

AffineExpression operations_research::sat::CpModelMapping::Affine ( const LinearExpressionProto & exp ) const

inline

Definition at line 96 of file cp_model_mapping.h.

Affines()

template<typename List>

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

inline

Definition at line 129 of file cp_model_mapping.h.

ComputeMinMaxActivity()

std::pair< int64_t, int64_t > operations_research::sat::CpModelMapping::ComputeMinMaxActivity ( const LinearConstraintProto & proto, IntegerTrail * integer_trail )

inline

Definition at line 197 of file cp_model_mapping.h.

ConstraintIsAlreadyLoaded()

bool operations_research::sat::CpModelMapping::ConstraintIsAlreadyLoaded ( const ConstraintProto * ct ) const

inline

Definition at line 148 of file cp_model_mapping.h.

GetExprFromProto()

LinearExpression operations_research::sat::CpModelMapping::GetExprFromProto ( const LinearExpressionProto & expr_proto ) const

inline

Definition at line 184 of file cp_model_mapping.h.

GetProtoLiteralFromLiteral()

int operations_research::sat::CpModelMapping::GetProtoLiteralFromLiteral ( sat::Literal lit ) const

inline

Definition at line 174 of file cp_model_mapping.h.

GetProtoVariableFromBooleanVariable()

int operations_research::sat::CpModelMapping::GetProtoVariableFromBooleanVariable ( BooleanVariable var ) const

inline

Definition at line 162 of file cp_model_mapping.h.

GetProtoVariableFromIntegerVariable()

int operations_research::sat::CpModelMapping::GetProtoVariableFromIntegerVariable ( IntegerVariable var ) const

inline

Definition at line 166 of file cp_model_mapping.h.

GetVariableMapping()

const std::vector< IntegerVariable > & operations_research::sat::CpModelMapping::GetVariableMapping ( ) const

inline

Definition at line 180 of file cp_model_mapping.h.

Integer()

IntegerVariable operations_research::sat::CpModelMapping::Integer ( int ref ) const

inline

Definition at line 87 of file cp_model_mapping.h.

Integers()

template<typename List>

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

inline

Definition at line 113 of file cp_model_mapping.h.

Interval()

IntervalVariable operations_research::sat::CpModelMapping::Interval ( int i ) const

inline

Definition at line 105 of file cp_model_mapping.h.

Intervals()

template<typename ProtoIndices>

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

inline

Definition at line 137 of file cp_model_mapping.h.

IsBoolean()

bool operations_research::sat::CpModelMapping::IsBoolean ( int ref ) const

inline

Definition at line 72 of file cp_model_mapping.h.

IsHalfEncodingConstraint()

bool operations_research::sat::CpModelMapping::IsHalfEncodingConstraint ( const ConstraintProto * ct ) const

inline

Definition at line 157 of file cp_model_mapping.h.

IsInteger()

bool operations_research::sat::CpModelMapping::IsInteger ( int ref ) const

inline

Definition at line 77 of file cp_model_mapping.h.

Literal()

sat::Literal operations_research::sat::CpModelMapping::Literal ( int ref ) const

inline

Definition at line 82 of file cp_model_mapping.h.

Literals()

template<typename ProtoIndices>

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

inline

Definition at line 121 of file cp_model_mapping.h.

NumBooleanVariables()

int operations_research::sat::CpModelMapping::NumBooleanVariables ( ) const

inline

Definition at line 226 of file cp_model_mapping.h.

NumIntegerVariables()

int operations_research::sat::CpModelMapping::NumIntegerVariables ( ) const

inline

Definition at line 219 of file cp_model_mapping.h.

NumProtoVariables()

int operations_research::sat::CpModelMapping::NumProtoVariables ( ) const

inline

Definition at line 235 of file cp_model_mapping.h.

Friends And Related Symbol Documentation

ExtractEncoding

void ExtractEncoding ( const CpModelProto & model_proto, Model * m )

friend

Definition at line 352 of file cp_model_loader.cc.

LoadVariables

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

friend

Definition at line 101 of file cp_model_loader.cc.

---

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

• ortools/sat/cp_model_mapping.h