3940414243444546
super(problem,name,value); setImpl(getConstrainer().addUndoableInt(value)); } public int getValue() { UndoableInt undoableInt = (UndoableInt)getImpl(); return undoableInt.value(); }
4445464748495051
UndoableInt undoableInt = (UndoableInt)getImpl(); return undoableInt.value(); } public void setValue(int value) { UndoableInt undoableInt = (UndoableInt)getImpl(); undoableInt.setValue(value); }
9192939495969798
private int _value; public void undoable(Undoable u) { super.undoable(u); UndoableInt var = (UndoableInt) u; _value = var.value(); }