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)