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 to small cycles. | |
Protected Attributes | |
ViewArray< View > | y |
Array for performing value propagation for distinct. | |
Offset | o |
Offset transformation. |
Base-class for circuit propagator.
Provides routines for checking that the induced variable value graph is strongly connected and for pruning short cycles.
Constructor for cloning p.
ExecStatus Gecode::Int::Circuit::Base::connected | ( | Space & | home | ) | [protected] |
ExecStatus Gecode::Int::Circuit::Base::path | ( | Space & | home | ) | [protected] |
size_t Gecode::Int::Circuit::Base::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::NaryPropagator< View, Int::PC_INT_DOM >.
ViewArray<View> Gecode::Int::Circuit::Base::y [protected] |
Array for performing value propagation for distinct.
Definition at line 63 of file circuit.hh.
Offset Gecode::Int::Circuit::Base::o [protected] |
Offset transformation.
Definition at line 65 of file circuit.hh.