DotNet Reference
DotNet Reference
EarlinessTardinessCostSampleSat.cs
Container for nested types declared in the DecisionStrategyProto message type.
Definition: CpModel.pb.cs:5287
override string ShortString()
Definition: IntegerExpressions.cs:536
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
Definition: ChannelingSampleSat.cs:19
VariableSelectionStrategy
The order in which the variables above should be considered.
Definition: CpModel.pb.cs:5294
override void OnSolutionCallback()
Definition: EarlinessTardinessCostSampleSat.cs:25
Definition: algorithms/Int64Vector.cs:11
IntVar NewIntVar(long lb, long ub, string name)
Definition: CpModel.cs:45
CpSolverStatus SearchAllSolutions(CpModel model, SolutionCallback cb)
Definition: CpSolver.cs:52
long Value(LinearExpr e)
Definition: SearchHelpers.cs:22
DomainReductionStrategy
Once a variable has been chosen, this enum describe what decision is taken on its domain.
Definition: CpModel.pb.cs:5308
Definition: algorithms/Int64Vector.cs:11
Definition: CpSolver.cs:20
VarArraySolutionPrinter(IntVar[] variables)
Definition: EarlinessTardinessCostSampleSat.cs:20
Definition: Domain.cs:11
Define the strategy to follow when the solver needs to take a new decision.
Definition: CpModel.pb.cs:5083
Definition: CpModel.pb.cs:12