Generated on Thu Jul 6 07:06:52 2006 for Gecode by doxygen 1.4.7

dfa.cc File Reference

(Revision: 3188)

#include "gecode/int.hh"
#include "gecode/support/sort.hh"
#include "gecode/support/static-stack.hh"

Go to the source code of this file.

Namespaces

namespace  Gecode
namespace  Gecode::Int
namespace  Gecode::Int::Regular

Classes

class  Gecode::Int::Regular::TransByI_State
 Sort transition array by input state. More...
class  Gecode::Int::Regular::TransBySymbol
 Sort transition array by symbol (value). More...
class  Gecode::Int::Regular::TransBySymbolI_State
 Sort transition array by symbol and then input states. More...
class  Gecode::Int::Regular::TransByO_State
 Sort transition array by output state. More...
class  Gecode::Int::Regular::StateGroup
 Stategroup is used to compute a partition of states. More...
class  Gecode::Int::Regular::StateGroupByGroup
 Sort groups stated by group and then state. More...
class  Gecode::Int::Regular::GroupStates
 GroupStates is used to index StateGroup by group More...

Defines

#define S_NONE   0
 State is not reachable.
#define S_FROM_START   1
 State is reachable from start state.
#define S_TO_FINAL   2
 Final state is reachable from state.
#define S_FINAL   4
 State is final.


Define Documentation

#define S_NONE   0

State is not reachable.

Definition at line 131 of file dfa.cc.

#define S_FROM_START   1

State is reachable from start state.

Definition at line 133 of file dfa.cc.

#define S_TO_FINAL   2

Final state is reachable from state.

Definition at line 135 of file dfa.cc.

#define S_FINAL   4

State is final.

Definition at line 137 of file dfa.cc.


Function Documentation

std::ostream& operator<< ( std::ostream &  os,
const Gecode::DFA dfa 
) [related]

Definition at line 422 of file dfa.cc.