Gecode::Graph::Circuit::Base< View > 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) | |
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. |
Detailed Description
template<class View>
class Gecode::Graph::Circuit::Base< View >
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 >
Gecode::Graph::Circuit::Base< View >::Base | ( | Space & | home, |
bool | share, | ||
Base< View > & | p | ||
) | [inline, protected] |
template<class View >
Gecode::Graph::Circuit::Base< View >::Base | ( | Home | home, |
ViewArray< View > & | x | ||
) | [inline, protected] |
Member Function Documentation
template<class View >
ExecStatus Gecode::Graph::Circuit::Base< View >::connected | ( | Space & | home | ) | [protected] |
template<class View >
ExecStatus Gecode::Graph::Circuit::Base< View >::path | ( | Space & | home | ) | [protected] |
template<class View >
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 >.
Member Data Documentation
template<class View>
ViewArray<View> Gecode::Graph::Circuit::Base< View >::y [protected] |
Array for performing value propagation for distinct.
Definition at line 63 of file circuit.hh.
The documentation for this class was generated from the following files:
- gecode/graph/circuit.hh (Revision: 9878)
- gecode/graph/circuit/base.hpp (Revision: 9902)