/**
* <summary>
* Returns the value of an integer variable in the last solution found.
* </summary>
*/
public long Value(IntVar intVar)
{
int index = intVar.GetIndex();
long value = index >= 0 ? response_.Solution[index] : -response_.Solution[-index - 1];
return(value);
}
public void AddHint(IntVar var, long value)
{
if (model_.SolutionHint == null)
{
model_.SolutionHint = new PartialVariableAssignment();
}
model_.SolutionHint.Vars.Add(var.GetIndex());
model_.SolutionHint.Values.Add(value);
}
/**
* <summary>
* Returns the value of an integer variable in the current solution.
* </summary>
*/
public long Value(IntVar intVar)
{
return(SolutionIntegerValue(intVar.GetIndex()));
}
