C++ Reference: cp_model_loader

Note: This documentation is automatically generated.

Function Type Arguments Comments
AddFullEncodingFromSearchBranching

Return type: void

Arguments: const CpModelProto& model_proto, Model* m

DetectOptionalVariables

Return type: void

Arguments: const CpModelProto& model_proto, Model* m

ExtractElementEncoding

Return type: void

Arguments: const CpModelProto& model_proto, Model* m

ExtractEncoding

Return type: void

Arguments: const CpModelProto& model_proto, Model* m

LoadAllDiffConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadAtMostOneConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadBoolAndConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadBooleanSymmetries

Return type: void

Arguments: const CpModelProto& model_proto, Model* m

LoadBoolOrConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadBoolXorConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadCircuitConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadCircuitCoveringConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadConstraint

Return type: bool

Arguments: const ConstraintProto& ct, Model* m

LoadCumulativeConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadExactlyOneConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadIntDivConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadIntMaxConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadIntMinConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadIntProdConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadLinearConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadLinMaxConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadNoOverlap2dConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadNoOverlapConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadRoutesConstraint

Return type: void

Arguments: const ConstraintProto& ct, Model* m

LoadVariables

Return type: void

Arguments: const CpModelProto& model_proto, bool view_all_booleans_as_integers, Model* m

PropagateEncodingFromEquivalenceRelations

Return type: void

Arguments: const CpModelProto& model_proto, Model* m