DotNet Reference
DotNet Reference
CpModel.cs
Container for nested types declared in the DecisionStrategyProto message type.
Definition: CpModel.pb.cs:5287
Argument of the constraints of the form target_var = OP(vars).
Definition: CpModel.pb.cs:544
The linear sum vars[i] * coeffs[i] must fall in the given domain.
Definition: CpModel.pb.cs:1153
Constraint AddBoolXor(IEnumerable< ILiteral > literals)
Definition: CpModel.cs:429
global::Google.OrTools.Sat.PartialVariableAssignment SolutionHint
Solution hint.
Definition: CpModel.pb.cs:5793
static long GetVarValueMap(LinearExpr e, long initial_coeff, Dictionary< IntVar, long > dict)
Definition: IntegerExpressions.cs:234
pbc::RepeatedField< int > Vars
The linear terms of the objective to minimize.
Definition: CpModel.pb.cs:4889
Constraint AddMinEquality(IntVar target, IEnumerable< IntVar > vars)
Definition: CpModel.cs:441
pbc::RepeatedField< int > EnforcementLiteral
The constraint will be enforced iff all literals listed here are true.
Definition: CpModel.pb.cs:3711
Definition: Domain.cs:17
Constraint AddAllowedAssignments(IEnumerable< IntVar > vars, long[,] tuples)
Definition: CpModel.cs:210
Constraint AddDivisionEquality< T, N, D >(T target, N num, D denom)
Definition: CpModel.cs:467
static Domain FromFlatIntervals(long[] flat_intervals)
Definition: Domain.cs:79
All the intervals (index of IntervalConstraintProto) must be disjoint.
Definition: CpModel.pb.cs:1698
Constraint AddMaxEquality(IntVar target, IEnumerable< IntVar > vars)
Definition: CpModel.cs:454
void AddDecisionStrategy(IEnumerable< IntVar > vars, DecisionStrategyProto.Types.VariableSelectionStrategy var_str, DecisionStrategyProto.Types.DomainReductionStrategy dom_str)
Definition: CpModel.cs:629
global::Google.OrTools.Sat.LinearConstraintProto?? Linear
The linear constraint enforces a linear inequality among the variables, such as 0 <= x + 2y <= 10.
Definition: CpModel.pb.cs:3891
bool Negated
If true, the meaning is "negated", that is we forbid any of the given tuple from a feasible assignmen...
Definition: CpModel.pb.cs:3049
Constraint AddImplication(ILiteral a, ILiteral b)
Definition: CpModel.cs:395
Maintain a reservoir level within bounds.
Definition: CpModel.pb.cs:2193
VariableSelectionStrategy
The order in which the variables above should be considered.
Definition: CpModel.pb.cs:5294
Constraint AddNoOverlap(IEnumerable< IntervalVar > intervals)
Definition: CpModel.cs:538
Constraint AddBoolAnd(IEnumerable< ILiteral > literals)
Definition: CpModel.cs:417
The sum of the demands of the intervals at each interval point cannot exceed a capacity.
Definition: CpModel.pb.cs:2003
Definition: SatHelper.cs:15
ILiteral Not()
static string ValidateModel(Google.OrTools.Sat.CpModelProto model_proto)
Definition: SatHelper.cs:119
pbc::RepeatedField< int > Vars
Definition: CpModel.pb.cs:1195
Constraint AddInverse(IEnumerable< IntVar > direct, IEnumerable< IntVar > reverse)
Definition: CpModel.cs:294
pbc::RepeatedField< int > Vars
Definition: CpModel.pb.cs:5558
Constraint AddBoolOr(IEnumerable< ILiteral > literals)
Definition: CpModel.cs:405
Constraint AddElement(IntVar index, IEnumerable< IntVar > vars, IntVar target)
Definition: CpModel.cs:151
Definition: algorithms/Int64Vector.cs:11
Constraint AddLinearConstraint(LinearExpr linear_expr, long lb, long ub)
Definition: CpModel.cs:72
The constraint target = vars[index].
Definition: CpModel.pb.cs:1324
The boxes defined by [start_x, end_x) * [start_y, end_y) cannot overlap.
Definition: CpModel.pb.cs:1823
IntVar NewConstant(long value, string name)
Definition: CpModel.cs:62
void AddTermToObjective(IntVar var, long coeff)
Definition: CpModel.cs:615
IntVar NewIntVar(long lb, long ub, string name)
Definition: CpModel.cs:45
pbc::RepeatedField< int > Vars
Definition: CpModel.pb.cs:596
global::Google.OrTools.Sat.TableConstraintProto?? Table
The table constraint enforces what values a tuple of variables may take.
Definition: CpModel.pb.cs:3979
Argument of the constraints of the form OP(literals).
Definition: CpModel.pb.cs:419
The values of the n-tuple formed by the given variables can only be one of the listed n-tuples in val...
Definition: CpModel.pb.cs:2985
Constraint AddForbiddenAssignments(IEnumerable< IntVar > vars, long[,] tuples)
Definition: CpModel.cs:230
pbc::RepeatedField< global::Google.OrTools.Sat.IntegerVariableProto > Variables
The associated Protos should be referred by their index in these fields.
Definition: CpModel.pb.cs:5726
This constraint forces a sequence of variables to be accepted by an automaton.
Definition: CpModel.pb.cs:3311
global::Google.OrTools.Sat.IntegerArgumentProto?? IntMax
The int_max constraint forces the target to equal the maximum of all variables.
Definition: CpModel.pb.cs:3815
pbc::RepeatedField< global::Google.OrTools.Sat.DecisionStrategyProto > SearchStrategy
Defines the strategy that the solver should follow when the search_branching parameter is set to FIXE...
Definition: CpModel.pb.cs:5772
Constraint AddElement(IntVar index, IEnumerable< int > values, IntVar target)
Definition: CpModel.cs:181
Constraint AddElement(IntVar index, IEnumerable< long > values, IntVar target)
Definition: CpModel.cs:166
Constraint AddCircuit(IEnumerable< Tuple< int, int, ILiteral >> arcs)
Definition: CpModel.cs:196
global::Google.OrTools.Sat.IntegerArgumentProto?? IntMod
The int_mod constraint forces the target to equal vars[0] % vars[1].
Definition: CpModel.pb.cs:3799
global::Google.OrTools.Sat.CpObjectiveProto Objective
The objective to minimize.
Definition: CpModel.pb.cs:5747
Constraint AddLinearExpressionInDomain(LinearExpr linear_expr, Domain domain)
Definition: CpModel.cs:78
Constraint AddAbsEquality(IntVar target, IntVar var)
Definition: CpModel.cs:478
Constraint AddCumulative< D, C >(IEnumerable< IntervalVar > intervals, IEnumerable< D > demands, C capacity)
Definition: CpModel.cs:567
IntervalVar NewIntervalVar< S, D, E >(S start, D duration, E end, string name)
Definition: CpModel.cs:515
pbc::RepeatedField< int > Literals
Definition: CpModel.pb.cs:459
IntervalVar NewOptionalIntervalVar< S, D, E >(S start, D duration, E end, ILiteral is_present, string name)
Definition: CpModel.cs:526
static string ModelStats(Google.OrTools.Sat.CpModelProto model_proto)
Definition: SatHelper.cs:109
void AddVarToObjective(IntVar var)
Definition: CpModel.cs:608
IntVar NewIntVarFromDomain(Domain domain, string name)
Definition: CpModel.cs:50
DomainReductionStrategy
Once a variable has been chosen, this enum describe what decision is taken on its domain.
Definition: CpModel.pb.cs:5308
Constraint AddAllDifferent(IEnumerable< IntVar > vars)
Definition: CpModel.cs:139
Constraint AddModuloEquality< T, V, M >(T target, V v, M m)
Definition: CpModel.cs:489
Definition: algorithms/Int64Vector.cs:11
Constraint AddAutomaton(IEnumerable< IntVar > vars, long starting_state, IEnumerable< Tuple< long, long, long >> transitions, IEnumerable< long > final_states)
Definition: CpModel.cs:265
The circuit constraint is defined on a graph where the arc presence are controlled by literals.
Definition: CpModel.pb.cs:2433
void AddMapDomain(IntVar var, IEnumerable< IntVar > bool_vars, long offset=0)
Definition: CpModel.cs:360
Constraint AddReservoirConstraintWithActive< I >(IEnumerable< IntVar > times, IEnumerable< I > demands, IEnumerable< IntVar > actives, long min_level, long max_level)
Definition: CpModel.cs:333
pbc::RepeatedField< global::Google.OrTools.Sat.ConstraintProto > Constraints
Definition: CpModel.pb.cs:5736
global::Google.OrTools.Sat.BoolArgumentProto?? BoolOr
The bool_or constraint forces at least one literal to be true.
Definition: CpModel.pb.cs:3721
The two arrays of variable each represent a function, the second is the inverse of the first: f_direc...
Definition: CpModel.pb.cs:3164
LinearExpr Right
Definition: IntegerExpressions.cs:738
Constraint AddProdEquality(IntVar target, IEnumerable< IntVar > vars)
Definition: CpModel.cs:500
Definition: Domain.cs:11
Constraint AddReservoirConstraint< I >(IEnumerable< IntVar > times, IEnumerable< I > demands, long min_level, long max_level)
Definition: CpModel.cs:311
pbc::RepeatedField< long > Domain
Definition: CpModel.pb.cs:1218
pbc::RepeatedField< long > Values
Definition: CpModel.pb.cs:5568
int GetIndex()
Define the strategy to follow when the solver needs to take a new decision.
Definition: CpModel.pb.cs:5083
Constraint AddAutomaton(IEnumerable< IntVar > vars, long starting_state, long[,] transitions, IEnumerable< long > final_states)
Definition: CpModel.cs:238
This message encodes a partial (or full) assignment of the variables of a CpModelProto.
Definition: CpModel.pb.cs:5517
pbc::RepeatedField< long > Coeffs
Definition: CpModel.pb.cs:4899
Definition: Constraints.cs:20
All variables must take different values.
Definition: CpModel.pb.cs:1023
Constraint AddNoOverlap2D(IEnumerable< IntervalVar > x_intervals, IEnumerable< IntervalVar > y_intervals)
Definition: CpModel.cs:550
global::Google.OrTools.Sat.IntegerArgumentProto?? IntDiv
The int_div constraint forces the target to equal vars[0] / vars[1].
Definition: CpModel.pb.cs:3785
double Offset
The displayed objective is always: scaling_factor * (sum(coefficients[i] * objective_vars[i]) + offse...
Definition: CpModel.pb.cs:4916
Definition: CpModel.pb.cs:12