DotNet Reference
DotNet Reference
StepFunctionSampleSat.cs
Container for nested types declared in the DecisionStrategyProto message type.
Definition: CpModel.pb.cs:5287
override string ShortString()
Definition: IntegerExpressions.cs:536
Definition: Domain.cs:17
void OnlyEnforceIf(ILiteral lit)
Definition: Constraints.cs:28
Definition: ChannelingSampleSat.cs:19
static Domain FromValues(long[] values)
Definition: Domain.cs:65
VariableSelectionStrategy
The order in which the variables above should be considered.
Definition: CpModel.pb.cs:5294
override void OnSolutionCallback()
Definition: StepFunctionSampleSat.cs:25
Definition: StepFunctionSampleSat.cs:40
static Domain FromIntervals(long[][] intervals)
Definition: Domain.cs:70
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
Constraint AddLinearExpressionInDomain(LinearExpr linear_expr, Domain domain)
Definition: CpModel.cs:78
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: StepFunctionSampleSat.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