Generated on Sat Feb 7 2015 02:01:47 for Gecode by doxygen 1.8.9.1
Gecode::Int::Extensional Namespace Reference

Extensional propagators More...

Classes

class  Base
 Base for domain consistent extensional propagation More...
 
class  Basic
 Domain consistent extensional propagator. More...
 
class  GroupStates
 GroupStates is used to index StateGroup by group More...
 
class  Incremental
 Domain consistent extensional propagator. More...
 
class  LayeredGraph
 Domain consistent layered graph (regular) propagator. 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  TransByI_State
 Sort transition array by input state. More...
 
class  TransByO_State
 Sort transition array by output 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  VarTraits
 Traits class for variables. More...
 
class  VarTraits< BoolVar >
 Traits class for variables. More...
 
class  VarTraits< IntVar >
 Traits class for variables. 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. More...
 

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.

Definition at line 852 of file layered-graph.hpp.