OR-Tools  8.1
Classes | Namespaces | Functions
cp_model_loader.cc File Reference

Go to the source code of this file.

Classes

class  FullEncodingFixedPointComputer
 

Namespaces

 operations_research
 The vehicle routing library lets one model and solve generic vehicle routing problems ranging from the Traveling Salesman Problem to more complex problems such as the Capacitated Vehicle Routing Problem with Time Windows.
 
 operations_research::sat
 

Functions

void MaybeFullyEncodeMoreVariables (const CpModelProto &model_proto, Model *m)
 
void LoadBoolOrConstraint (const ConstraintProto &ct, Model *m)
 
void LoadBoolAndConstraint (const ConstraintProto &ct, Model *m)
 
void LoadAtMostOneConstraint (const ConstraintProto &ct, Model *m)
 
void LoadBoolXorConstraint (const ConstraintProto &ct, Model *m)
 
void LoadLinearConstraint (const ConstraintProto &ct, Model *m)
 
void LoadAllDiffConstraint (const ConstraintProto &ct, Model *m)
 
void LoadIntProdConstraint (const ConstraintProto &ct, Model *m)
 
void LoadIntDivConstraint (const ConstraintProto &ct, Model *m)
 
void LoadIntMinConstraint (const ConstraintProto &ct, Model *m)
 
LinearExpression GetExprFromProto (const LinearExpressionProto &expr_proto, const CpModelMapping &mapping)
 
void LoadLinMaxConstraint (const ConstraintProto &ct, Model *m)
 
void LoadIntMaxConstraint (const ConstraintProto &ct, Model *m)
 
void LoadNoOverlapConstraint (const ConstraintProto &ct, Model *m)
 
void LoadNoOverlap2dConstraint (const ConstraintProto &ct, Model *m)
 
void LoadCumulativeConstraint (const ConstraintProto &ct, Model *m)
 
bool DetectEquivalencesInElementConstraint (const ConstraintProto &ct, Model *m)
 
void LoadElementConstraintBounds (const ConstraintProto &ct, Model *m)
 
void LoadElementConstraintAC (const ConstraintProto &ct, Model *m)
 
void LoadElementConstraint (const ConstraintProto &ct, Model *m)
 
void LoadTableConstraint (const ConstraintProto &ct, Model *m)
 
void LoadAutomatonConstraint (const ConstraintProto &ct, Model *m)
 
std::vector< std::vector< Literal > > GetSquareMatrixFromIntegerVariables (const std::vector< IntegerVariable > &vars, Model *m)
 
void LoadCircuitConstraint (const ConstraintProto &ct, Model *m)
 
void LoadRoutesConstraint (const ConstraintProto &ct, Model *m)
 
bool LoadConstraint (const ConstraintProto &ct, Model *m)