Generated on Tue Apr 18 10:23:49 2017 for Gecode by doxygen 1.6.3

Gecode::Int::Extensional Namespace Reference

Extensional propagators More...

Classes

class  TransByI_State
 Sort transition array by input state. More...
class  TransBySymbol
 Sort transition array by symbol (value). More...
class  TransBySymbolI_State
 Sort transition array by symbol and then input states. More...
class  TransByO_State
 Sort transition array by output state. More...
class  StateGroup
 Stategroup is used to compute a partition of states. More...
class  StateGroupByGroup
 Sort groups stated by group and then state. More...
class  GroupStates
 GroupStates is used to index StateGroup by group More...
class  VarTraits
 Traits class for variables. More...
class  VarTraits< IntVar >
 Traits class for variables. More...
class  VarTraits< BoolVar >
 Traits class for variables. More...
class  LayeredGraph
 Domain consistent layered graph (regular) propagator. More...
class  Base
 Base for domain consistent extensional propagation More...
class  Basic
 Domain consistent extensional propagator. More...
class  Incremental
 Domain consistent extensional propagator. More...

Typedefs

typedef TupleSet::Tuple Tuple
typedef Support::BitSetBase BitSet
typedef Support::BitSetBaseDomain

Enumerations

enum  StateInfo { SI_NONE = 0, SI_FROM_START = 1, SI_TO_FINAL = 2, SI_FINAL = 4 }
 

Information about states.

More...

Functions

template<class Var >
ExecStatus post_lgp (Home home, const VarArgArray< Var > &x, const DFA &dfa)
 Select small types for the layered graph propagator.

Detailed Description

Extensional propagators


Typedef Documentation


Enumeration Type Documentation

Information about states.

Enumerator:
SI_NONE 

State is not reachable.

SI_FROM_START 

State is reachable from start state.

SI_TO_FINAL 

Final state is reachable from state.

SI_FINAL 

State is final.

Definition at line 144 of file dfa.cpp.


Function Documentation

template<class Var >
ExecStatus Gecode::Int::Extensional::post_lgp ( Home  home,
const VarArgArray< Var > &  x,
const DFA &  dfa 
) [inline]

Select small types for the layered graph propagator.