
Information for performing a recorded tell. More...
#include <gecode/int/circuit/base.hpp>
Public Attributes | |
| View | x |
| int | n |
Information for performing a recorded tell.
| View Gecode::Int::Circuit::TellInfo< View >::x |
| int Gecode::Int::Circuit::TellInfo< View >::n |