Google OR-Tools v9.11
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::CpModelMapping Member List

This is the complete list of members for operations_research::sat::CpModelMapping, including all inherited members.

Affine(const LinearExpressionProto &exp) constoperations_research::sat::CpModelMappinginline
Affines(const List &list) constoperations_research::sat::CpModelMappinginline
ConstraintIsAlreadyLoaded(const ConstraintProto *ct) constoperations_research::sat::CpModelMappinginline
ExtractEncoding(const CpModelProto &model_proto, Model *m)operations_research::sat::CpModelMappingfriend
GetExprFromProto(const LinearExpressionProto &expr_proto) constoperations_research::sat::CpModelMappinginline
GetProtoVariableFromBooleanVariable(BooleanVariable var) constoperations_research::sat::CpModelMappinginline
GetProtoVariableFromIntegerVariable(IntegerVariable var) constoperations_research::sat::CpModelMappinginline
GetVariableMapping() constoperations_research::sat::CpModelMappinginline
Integer(int ref) constoperations_research::sat::CpModelMappinginline
Integers(const List &list) constoperations_research::sat::CpModelMappinginline
Interval(int i) constoperations_research::sat::CpModelMappinginline
Intervals(const ProtoIndices &indices) constoperations_research::sat::CpModelMappinginline
IsBoolean(int ref) constoperations_research::sat::CpModelMappinginline
IsHalfEncodingConstraint(const ConstraintProto *ct) constoperations_research::sat::CpModelMappinginline
IsInteger(int ref) constoperations_research::sat::CpModelMappinginline
Literal(int ref) constoperations_research::sat::CpModelMappinginline
Literals(const ProtoIndices &indices) constoperations_research::sat::CpModelMappinginline
LoadVariables(const CpModelProto &model_proto, bool view_all_booleans_as_integers, Model *m)operations_research::sat::CpModelMappingfriend
NumBooleanVariables() constoperations_research::sat::CpModelMappinginline
NumIntegerVariables() constoperations_research::sat::CpModelMappinginline
NumProtoVariables() constoperations_research::sat::CpModelMappinginline