DotNet Reference
DotNet Reference
StopAfterNSolutionsSampleSat.cs
override string ShortString()
Definition: IntegerExpressions.cs:536
int SolutionCount()
Definition: StopAfterNSolutionsSampleSat.cs:46
override void OnSolutionCallback()
Definition: StopAfterNSolutionsSampleSat.cs:27
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
Definition: algorithms/Int64Vector.cs:11
Definition: CpSolver.cs:20
VarArraySolutionPrinterWithLimit(IntVar[] variables, int solution_limit)
Definition: StopAfterNSolutionsSampleSat.cs:20
Definition: CpModel.pb.cs:12