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) | |
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. |
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.
Gecode::Graph::Circuit::Base< View >::Base | ( | Space & | home, |
bool | share, | ||
Base< View > & | p | ||
) | [inline, protected] |
Gecode::Graph::Circuit::Base< View >::Base | ( | Home | home, |
ViewArray< View > & | x | ||
) | [inline, protected] |
ExecStatus Gecode::Graph::Circuit::Base< View >::connected | ( | Space & | home | ) | [protected] |
ExecStatus Gecode::Graph::Circuit::Base< View >::path | ( | Space & | home | ) | [protected] |
size_t Gecode::Graph::Circuit::Base< View >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::NaryPropagator< View, Int::PC_INT_DOM >.
ViewArray<View> Gecode::Graph::Circuit::Base< View >::y [protected] |
Array for performing value propagation for distinct.
Definition at line 63 of file circuit.hh.