DotNet Reference
DotNet Reference
CpModel.pb.cs File Reference
Go to the source code of this file.
Classes | |
| class | CpModelReflection |
| Holder for reflection information generated from ortools/sat/cp_model.proto More... | |
| class | IntegerVariableProto |
| An integer variable. More... | |
| class | BoolArgumentProto |
| Argument of the constraints of the form OP(literals). More... | |
| class | IntegerArgumentProto |
| Argument of the constraints of the form target_var = OP(vars). More... | |
| class | LinearExpressionProto |
| class | LinearArgumentProto |
| class | AllDifferentConstraintProto |
| All variables must take different values. More... | |
| class | LinearConstraintProto |
| The linear sum vars[i] * coeffs[i] must fall in the given domain. More... | |
| class | ElementConstraintProto |
| The constraint target = vars[index]. More... | |
| class | IntervalConstraintProto |
| This "special" constraint not only enforces (start + size == end) but can also be referred by other constraints using this "interval" concept. More... | |
| class | NoOverlapConstraintProto |
| All the intervals (index of IntervalConstraintProto) must be disjoint. More... | |
| class | NoOverlap2DConstraintProto |
| The boxes defined by [start_x, end_x) * [start_y, end_y) cannot overlap. More... | |
| class | CumulativeConstraintProto |
| The sum of the demands of the intervals at each interval point cannot exceed a capacity. More... | |
| class | ReservoirConstraintProto |
| Maintain a reservoir level within bounds. More... | |
| class | CircuitConstraintProto |
| The circuit constraint is defined on a graph where the arc presence are controlled by literals. More... | |
| class | RoutesConstraintProto |
| The "VRP" (Vehicle Routing Problem) constraint. More... | |
| class | CircuitCoveringConstraintProto |
| Another routing constraint. More... | |
| class | TableConstraintProto |
| The values of the n-tuple formed by the given variables can only be one of the listed n-tuples in values. More... | |
| class | InverseConstraintProto |
| The two arrays of variable each represent a function, the second is the inverse of the first: f_direct[i] == j <=> f_inverse[j] == i. More... | |
| class | AutomatonConstraintProto |
| This constraint forces a sequence of variables to be accepted by an automaton. More... | |
| class | ConstraintProto |
| Next id: 29 More... | |
| class | CpObjectiveProto |
| Optimization objective. More... | |
| class | DecisionStrategyProto |
| Define the strategy to follow when the solver needs to take a new decision. More... | |
| class | DecisionStrategyProto.Types |
| Container for nested types declared in the DecisionStrategyProto message type. More... | |
| class | DecisionStrategyProto.Types.AffineTransformation |
| Advanced usage. More... | |
| class | PartialVariableAssignment |
| This message encodes a partial (or full) assignment of the variables of a CpModelProto. More... | |
| class | CpModelProto |
| A constraint programming problem. More... | |
| class | CpSolverResponse |
| The response returned by a solver trying to solve a CpModelProto. More... | |
Namespaces | |
| namespace | |
| namespace | Google.OrTools |
| namespace | Google.OrTools.Sat |
Typedefs | |
| using | pb = global::Google.Protobuf |
| using | pbc = global::Google.Protobuf.Collections |
| using | pbr = global::Google.Protobuf.Reflection |
| using | scg = global::System.Collections.Generic |
Enumerations | |
| enum | CpSolverStatus { Unknown = 0, ModelInvalid = 1, Feasible = 2, Infeasible = 3, Optimal = 4 } |
| The status returned by a solver trying to solve a CpModelProto. More... | |
Typedef Documentation
◆ pb
| using pb = global.Google.Protobuf |
Definition at line 8 of file CpModel.pb.cs.
◆ pbc
| using pbc = global.Google.Protobuf.Collections |
Definition at line 9 of file CpModel.pb.cs.
◆ pbr
| using pbr = global.Google.Protobuf.Reflection |
Definition at line 10 of file CpModel.pb.cs.
◆ scg
| using scg = global.System.Collections.Generic |
Definition at line 11 of file CpModel.pb.cs.