A reversible class is one where the data members will be restored automatically by Solver when it backtracks.

Objects that use only reversible classes are called reversible objects.

All Solver objects are reversible objects.

Thus, the state of Solver variables, including their domains and the constraints posted on them, are automatically restored when Solver backtracks.

Functions that use only reversible assignments are called reversible functions.

All Solver functions and member functions are reversible functions unless otherwise documented.

In particular, all the member functions and predefined functions for posting constraints in Solver are reversible. Thus, the state of constrained variables, including their domains and the constraints posted on them, is automatically restored when Solver backtracks. Solver saves the state before the function call.

See the concepts Propagation and State for more information.

See Also

IlcConstraint