Generated on Sun Feb 17 15:25:23 2019 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  TupleCompare
 Tuple comparison. More...
class  PosCompare
 Tuple comparison by position. More...
class  LayeredGraph
 Domain consistent layered graph (regular) propagator. More...
class  BitSet
 Bit-set. More...
class  TinyBitSet
 Tiny bit-set. More...
class  Compact
 Base class for compact table propagator. More...
class  PosCompact
 Domain consistent positive extensional propagator. More...
class  NegCompact
 Domain consistent negative extensional propagator. More...
class  ReCompact
 Domain consistent reified extensional propagator. More...

Typedefs

typedef ::Gecode::TupleSet::Tuple Tuple
 Import tuple type.
typedef Gecode::Support::BitSetData BitSetData
 Import type.

Enumerations

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

Information about states.

More...

Functions

template<class View >
ExecStatus postposcompact (Home home, ViewArray< View > &x, const TupleSet &ts)
 Post function for positive compact table propagator.
template<class View >
ExecStatus postnegcompact (Home home, ViewArray< View > &x, const TupleSet &ts)
 Post function for compact table propagator.
template<class View , class CtrlView , ReifyMode rm>
ExecStatus postrecompact (Home home, ViewArray< View > &x, const TupleSet &ts, CtrlView b)
 Post function for compact table propagator.
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

Import tuple type.

Tuple type.

Definition at line 44 of file tuple-set.cpp.

Import type.

Definition at line 226 of file extensional.hh.


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 140 of file dfa.cpp.


Function Documentation

template<class View >
ExecStatus Gecode::Int::Extensional::postposcompact ( Home  home,
ViewArray< View > &  x,
const TupleSet &  ts 
) [inline]

Post function for positive compact table propagator.

template<class View >
ExecStatus Gecode::Int::Extensional::postnegcompact ( Home  home,
ViewArray< View > &  x,
const TupleSet &  ts 
) [inline]

Post function for compact table propagator.

template<class View , class CtrlView , ReifyMode rm>
ExecStatus Gecode::Int::Extensional::postrecompact ( Home  home,
ViewArray< View > &  x,
const TupleSet &  ts,
CtrlView  b 
) [inline]

Post function for compact table propagator.

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.