DotNet Reference
.Net Reference
SearchHelpers.cs
Go to the documentation of this file.
70 throw new ArgumentException("Cannot evaluate '" + expr.ToString() + "' in an integer expression");
85 throw new ArgumentException("Cannot evaluate '" + literal.ToString() + "' as a boolean literal");
110 value: $"Solution {_solutionCount}, time = {time.TotalSeconds} s, objective = [{objLb}, {objUb}]");
long Value(LinearExpr e)
Definition: SearchHelpers.cs:22
Boolean BooleanValue(ILiteral literal)
Definition: SearchHelpers.cs:76
ObjectiveSolutionPrinter()
Definition: SearchHelpers.cs:95
int solutionCount()
override void OnSolutionCallback()
Definition: SearchHelpers.cs:100
int GetIndex()
Definition: Constraints.cs:15