|
| int | NegatedRef (int ref) |
| |
| int | PositiveRef (int ref) |
| |
| bool | RefIsPositive (int ref) |
| |
| bool | HasEnforcementLiteral (const ConstraintProto &ct) |
| |
| int | EnforcementLiteral (const ConstraintProto &ct) |
| |
| void | SetToNegatedLinearExpression (const LinearExpressionProto &input_expr, LinearExpressionProto *output_negated_expr) |
| |
| IndexReferences | GetReferencesUsedByConstraint (const ConstraintProto &ct) |
| |
| void | ApplyToAllVariableIndices (const std::function< void(int *)> &f, ConstraintProto *ct) |
| |
| void | ApplyToAllLiteralIndices (const std::function< void(int *)> &f, ConstraintProto *ct) |
| |
| void | ApplyToAllIntervalIndices (const std::function< void(int *)> &f, ConstraintProto *ct) |
| |
| std::string | ConstraintCaseName (ConstraintProto::ConstraintCase constraint_case) |
| |
| std::vector< int > | UsedVariables (const ConstraintProto &ct) |
| |
| std::vector< int > | UsedIntervals (const ConstraintProto &ct) |
| |
| template<typename ProtoWithDomain > |
| bool | DomainInProtoContains (const ProtoWithDomain &proto, int64_t value) |
| |
| template<typename ProtoWithDomain > |
| void | FillDomainInProto (const Domain &domain, ProtoWithDomain *proto) |
| |
| template<typename ProtoWithDomain > |
| Domain | ReadDomainFromProto (const ProtoWithDomain &proto) |
| |
| template<typename ProtoWithDomain > |
| std::vector< int64_t > | AllValuesInDomain (const ProtoWithDomain &proto) |
| |
| double | ScaleObjectiveValue (const CpObjectiveProto &proto, int64_t value) |
| |
| int64_t | ScaleInnerObjectiveValue (const CpObjectiveProto &proto, int64_t value) |
| |
| double | UnscaleObjectiveValue (const CpObjectiveProto &proto, double value) |
| |
| int64_t | ComputeInnerObjective (const CpObjectiveProto &objective, absl::Span< const int64_t > solution) |
| |
| bool | ExpressionContainsSingleRef (const LinearExpressionProto &expr) |
| |
| bool | ExpressionIsAffine (const LinearExpressionProto &expr) |
| |
| int | GetSingleRefFromExpression (const LinearExpressionProto &expr) |
| |
| void | AddLinearExpressionToLinearConstraint (const LinearExpressionProto &expr, int64_t coefficient, LinearConstraintProto *linear) |
| |
| bool | LinearExpressionProtosAreEqual (const LinearExpressionProto &a, const LinearExpressionProto &b, int64_t b_scaling) |
| |
| template<class T > |
| uint64_t | FingerprintRepeatedField (const google::protobuf::RepeatedField< T > &sequence, uint64_t seed) |
| |
| template<class T > |
| uint64_t | FingerprintSingleField (const T &field, uint64_t seed) |
| |
| uint64_t | FingerprintExpression (const LinearExpressionProto &lin, uint64_t seed) |
| |
| uint64_t | FingerprintModel (const CpModelProto &model, uint64_t seed) |
| |
| void | SetupTextFormatPrinter (google::protobuf::TextFormat::Printer *printer) |
| |
| template<class M > |
| bool | WriteModelProtoToFile (const M &proto, absl::string_view filename) |
| |
1.9.1