Gecode::Int::Circuit::Base< View, Offset > Class Template Reference
Base-class for circuit propagator. More...
#include <circuit.hh>
Public Member Functions | |
virtual size_t | dispose (Space &home) |
Delete propagator and return its size. | |
Protected Member Functions | |
Base (Space &home, bool share, Base &p) | |
Constructor for cloning p. | |
Base (Home home, ViewArray< View > &x, Offset &o) | |
Constructor for posting. | |
ExecStatus | connected (Space &home) |
Check whether the view value graph is strongly connected. | |
ExecStatus | path (Space &home) |
Ensure path property: prune edges that could give too small cycles. | |
Protected Attributes | |
int | start |
Remember where to start the next time the propagator runs. | |
ViewArray< View > | y |
Array for performing value propagation for distinct. | |
Offset | o |
Offset transformation. |
Detailed Description
template<class View, class Offset>
class Gecode::Int::Circuit::Base< View, Offset >
Base-class for circuit propagator.
Provides routines for checking that the induced variable value graph is strongly connected and for pruning short cycles.
Definition at line 59 of file circuit.hh.
Constructor & Destructor Documentation
template<class View, class Offset>
Gecode::Int::Circuit::Base< View, Offset >::Base | ( | Space & | home, | |
bool | share, | |||
Base< View, Offset > & | p | |||
) | [protected] |
Constructor for cloning p.
Member Function Documentation
template<class View , class Offset >
ExecStatus Gecode::Int::Circuit::Base< View, Offset >::connected | ( | Space & | home | ) | [inline, protected] |
template<class View , class Offset >
ExecStatus Gecode::Int::Circuit::Base< View, Offset >::path | ( | Space & | home | ) | [inline, protected] |
template<class View , class Offset >
size_t Gecode::Int::Circuit::Base< View, Offset >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::NaryPropagator< View, Int::PC_INT_DOM >.
Member Data Documentation
template<class View, class Offset>
int Gecode::Int::Circuit::Base< View, Offset >::start [protected] |
Remember where to start the next time the propagator runs.
Definition at line 63 of file circuit.hh.
template<class View, class Offset>
ViewArray<View> Gecode::Int::Circuit::Base< View, Offset >::y [protected] |
Array for performing value propagation for distinct.
Definition at line 65 of file circuit.hh.
template<class View, class Offset>
Offset Gecode::Int::Circuit::Base< View, Offset >::o [protected] |
Offset transformation.
Definition at line 67 of file circuit.hh.
The documentation for this class was generated from the following files:
- gecode/int/circuit.hh (Revision: 15156)
- gecode/int/circuit/base.hpp (Revision: 14967)