Definition at line 63 of file cp_model_loader.h.
◆ ConstraintIsAlreadyLoaded()
bool ConstraintIsAlreadyLoaded |
( |
const ConstraintProto * |
ct | ) |
const |
|
inline |
◆ CreateVariables()
void CreateVariables |
( |
const CpModelProto & |
model_proto, |
|
|
bool |
view_all_booleans_as_integers, |
|
|
Model * |
m |
|
) |
| |
◆ DetectOptionalVariables()
void DetectOptionalVariables |
( |
const CpModelProto & |
model_proto, |
|
|
Model * |
m |
|
) |
| |
◆ ExtractEncoding()
void ExtractEncoding |
( |
const CpModelProto & |
model_proto, |
|
|
Model * |
m |
|
) |
| |
◆ GetProtoVariableFromBooleanVariable()
int GetProtoVariableFromBooleanVariable |
( |
BooleanVariable |
var | ) |
const |
|
inline |
◆ GetProtoVariableFromIntegerVariable()
int GetProtoVariableFromIntegerVariable |
( |
IntegerVariable |
var | ) |
const |
|
inline |
◆ GetVariableMapping()
const std::vector< IntegerVariable > & GetVariableMapping |
( |
| ) |
const |
|
inline |
◆ Integer()
IntegerVariable Integer |
( |
int |
ref | ) |
const |
|
inline |
◆ Integers()
std::vector< IntegerVariable > Integers |
( |
const List & |
list | ) |
const |
|
inline |
◆ Interval()
IntervalVariable Interval |
( |
int |
i | ) |
const |
|
inline |
◆ Intervals()
std::vector< IntervalVariable > Intervals |
( |
const ProtoIndices & |
indices | ) |
const |
|
inline |
◆ IsBoolean()
bool IsBoolean |
( |
int |
ref | ) |
const |
|
inline |
◆ IsHalfEncodingConstraint()
bool IsHalfEncodingConstraint |
( |
const ConstraintProto * |
ct | ) |
const |
|
inline |
◆ IsInteger()
bool IsInteger |
( |
int |
ref | ) |
const |
|
inline |
◆ Literal()
◆ Literals()
std::vector< sat::Literal > Literals |
( |
const ProtoIndices & |
indices | ) |
const |
|
inline |
◆ LoadAffineView()
◆ LoadBooleanSymmetries()
void LoadBooleanSymmetries |
( |
const CpModelProto & |
model_proto, |
|
|
Model * |
m |
|
) |
| |
◆ NumBooleanVariables()
int NumBooleanVariables |
( |
| ) |
const |
|
inline |
◆ NumIntegerVariables()
int NumIntegerVariables |
( |
| ) |
const |
|
inline |
◆ PotentialEncodedValues()
const absl::flat_hash_set< int64 > & PotentialEncodedValues |
( |
int |
var | ) |
|
|
inline |
◆ PropagateEncodingFromEquivalenceRelations()
void PropagateEncodingFromEquivalenceRelations |
( |
const CpModelProto & |
model_proto, |
|
|
Model * |
m |
|
) |
| |
The documentation for this class was generated from the following files: