356357358359360361362363364365366
public void undo() { IntBoolVar var = (IntBoolVar) undoable(); var.forceMin(_min); var.forceMax(_max); super.undo(); } } // ~UndoIntBoolVar /**
398399400401402403404405406407408
*/ public void undo() { IntBoolVar var = (IntBoolVar) undoable(); var.forceMin(0); var.forceMax(1); super.undo(); } } // ~UndoIntBoolVarValue } // ~IntBoolVarImpl