Gecode::Int::Circuit::Base< View > Class Template Reference
#include <circuit.hh>
Inherits NaryPropagator< View, PC_INT_DOM >.
Inherited by Gecode::Int::Circuit::Dom< View >, and Gecode::Int::Circuit::Val< View >.
Detailed Description
template<class View>
class Gecode::Int::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.
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 (Space *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. | |
| Reflection::ActorSpec | spec (const Space *home, Reflection::VarMap &m, const Support::Symbol &name) const |
| Specification for this propagator. | |
Protected Attributes | |
| ViewArray< View > | y |
| Array for performing value propagation for distinct. | |
Constructor & Destructor Documentation
template<class View>
| Gecode::Int::Circuit::Base< View >::Base | ( | Space * | home, | |
| bool | share, | |||
| Base< View > & | p | |||
| ) | [inline, protected] |
template<class View>
| Gecode::Int::Circuit::Base< View >::Base | ( | Space * | home, | |
| ViewArray< View > & | x | |||
| ) | [inline, protected] |
Member Function Documentation
template<class View>
| ExecStatus Gecode::Int::Circuit::Base< View >::connected | ( | Space * | home | ) | [inline, protected] |
template<class View>
| ExecStatus Gecode::Int::Circuit::Base< View >::path | ( | Space * | home | ) | [inline, protected] |
template<class View>
| Reflection::ActorSpec Gecode::Int::Circuit::Base< View >::spec | ( | const Space * | home, | |
| Reflection::VarMap & | m, | |||
| const Support::Symbol & | name | |||
| ) | const [inline, protected] |
template<class View>
| size_t Gecode::Int::Circuit::Base< View >::dispose | ( | Space * | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::NaryPropagator< View, PC_INT_DOM >.
Member Data Documentation
template<class View>
ViewArray<View> Gecode::Int::Circuit::Base< View >::y [protected] |
The documentation for this class was generated from the following files:
- gecode/int/circuit.hh (Revision: 7285)
- gecode/int/circuit/base.icc (Revision: 7330)