Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx > Class Template Reference
[Integer propagators]
Domain consistent layered graph (regular) propagator. More...
#include <extensional.hh>
Classes | |
| class | Edge |
| class | Index |
| Advisors for views (by position in array). More... | |
| class | IndexRange |
| Range approximation of which positions have changed. More... | |
| class | Layer |
| Layer for a view in the layered graph. More... | |
| class | LayerValues |
| Iterator for telling variable domains by scanning support. More... | |
| class | State |
| States are described by number of incoming and outgoing edges. More... | |
| class | Support |
| Support information for a value. More... | |
Public Member Functions | |
| template<class Var > | |
| LayeredGraph (Home home, const VarArgArray< Var > &x, const DFA &dfa) | |
| Constructor for posting. | |
| virtual Actor * | copy (Space &home, bool share) |
| Copy propagator during cloning. | |
| virtual PropCost | cost (const Space &home, const ModEventDelta &med) const |
| Cost function (defined as high linear). | |
| virtual ExecStatus | advise (Space &home, Advisor &a, const Delta &d) |
| Give advice to propagator. | |
| virtual ExecStatus | propagate (Space &home, const ModEventDelta &med) |
| Perform propagation. | |
| virtual size_t | dispose (Space &home) |
| Delete propagator and return its size. | |
Static Public Member Functions | |
| template<class Var > | |
| static ExecStatus | post (Home home, const VarArgArray< Var > &x, const DFA &dfa) |
| Post propagator on views x and DFA dfa. | |
Protected Member Functions | |
| template<class Var > | |
| ExecStatus | initialize (Space &home, const VarArgArray< Var > &x, const DFA &dfa) |
| Initialize layered graph. | |
| LayeredGraph (Space &home, bool share, LayeredGraph< View, Val, Degree, StateIdx > &p) | |
| Constructor for cloning p. | |
Protected Attributes | |
| Council< Index > | c |
| The advisor council. | |
| int | n |
| Number of layers (and views). | |
| const int | n_states |
| Number of states of DFA. | |
| Layer * | layers |
| The layers of the graph. | |
| State * | states |
| The states used in the graph. | |
| IndexRange | i_ch |
| Index range with in-degree modifications. | |
| IndexRange | o_ch |
| Index range with out-degree modifications. | |
Detailed Description
template<class View, class Val, class Degree, class StateIdx>
class Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >
Domain consistent layered graph (regular) propagator.
The algorithm for the regular propagator is based on: Gilles Pesant, A Regular Language Membership Constraint for Finite Sequences of Variables, CP 2004. Pages 482-495, LNCS 3258, Springer-Verlag, 2004.
The propagator is not capable of dealing with multiple occurences of the same view.
Requires
#include <gecode/int/extensional.hh>
Definition at line 69 of file extensional.hh.
Constructor & Destructor Documentation
| Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::LayeredGraph | ( | Space & | home, | |
| bool | share, | |||
| LayeredGraph< View, Val, Degree, StateIdx > & | p | |||
| ) | [inline, protected] |
Constructor for cloning p.
Definition at line 467 of file layered-graph.hpp.
| Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::LayeredGraph | ( | Home | home, | |
| const VarArgArray< Var > & | x, | |||
| const DFA & | dfa | |||
| ) | [inline] |
Constructor for posting.
Definition at line 143 of file layered-graph.hpp.
Member Function Documentation
| ExecStatus Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::initialize | ( | Space & | home, | |
| const VarArgArray< Var > & | x, | |||
| const DFA & | dfa | |||
| ) | [inline, protected] |
Initialize layered graph.
Definition at line 153 of file layered-graph.hpp.
| Actor * Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::copy | ( | Space & | home, | |
| bool | share | |||
| ) | [inline, virtual] |
Copy propagator during cloning.
Implements Gecode::Actor.
Definition at line 500 of file layered-graph.hpp.
| PropCost Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::cost | ( | const Space & | home, | |
| const ModEventDelta & | med | |||
| ) | const [inline, virtual] |
Cost function (defined as high linear).
Implements Gecode::Propagator.
Definition at line 493 of file layered-graph.hpp.
| ExecStatus Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::advise | ( | Space & | home, | |
| Advisor & | a, | |||
| const Delta & | d | |||
| ) | [inline, virtual] |
Give advice to propagator.
Reimplemented from Gecode::Propagator.
Definition at line 236 of file layered-graph.hpp.
| ExecStatus Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::propagate | ( | Space & | home, | |
| const ModEventDelta & | med | |||
| ) | [inline, virtual] |
Perform propagation.
Implements Gecode::Propagator.
Definition at line 354 of file layered-graph.hpp.
| size_t Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::dispose | ( | Space & | home | ) | [inline, virtual] |
Delete propagator and return its size.
Reimplemented from Gecode::Actor.
Definition at line 435 of file layered-graph.hpp.
| ExecStatus Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::post | ( | Home | home, | |
| const VarArgArray< Var > & | x, | |||
| const DFA & | dfa | |||
| ) | [inline, static] |
Post propagator on views x and DFA dfa.
Definition at line 444 of file layered-graph.hpp.
Member Data Documentation
Council<Index> Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::c [protected] |
The advisor council.
Definition at line 146 of file extensional.hh.
int Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::n [protected] |
Number of layers (and views).
Definition at line 148 of file extensional.hh.
const int Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::n_states [protected] |
Number of states of DFA.
Definition at line 150 of file extensional.hh.
Layer* Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::layers [protected] |
The layers of the graph.
Definition at line 152 of file extensional.hh.
State* Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::states [protected] |
The states used in the graph.
Definition at line 154 of file extensional.hh.
IndexRange Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::i_ch [protected] |
Index range with in-degree modifications.
Definition at line 156 of file extensional.hh.
IndexRange Gecode::Int::Extensional::LayeredGraph< View, Val, Degree, StateIdx >::o_ch [protected] |
Index range with out-degree modifications.
Definition at line 158 of file extensional.hh.
The documentation for this class was generated from the following files:
- gecode/int/extensional.hh (Revision: 9878)
- gecode/int/extensional/layered-graph.hpp (Revision: 9878)