C++ Reference: rev

This documentation is automatically generated.

Reversible (i.e Backtrackable) classes, used to simplify coding propagators.

Classes

ReversibleInterface
RevGrowingMultiMap
RevMap
RevRepository

Send feedback about...