cp_model_loader.cc File Reference

Go to the source code of this file.

Classes
class	FullEncodingFixedPointComputer

Namespaces
namespace	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.
namespace	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	LoadExactlyOneConstraint (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)
void	LoadReservoirConstraint (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)