next up previous
Next: Iterator: Up: Data Types Previous: User-defined Data Types

Exported types

Types Descriptions
Sigma The user-defined type Sigma
Alphabet The user-defined type Sigma::Alphabet. See tables page [*]
State A type used to reference a state (a handler). A built-in type like integers or pointers
Tag The object type holding data associated to a state. See table page [*]
iterator A forward read-only iterator on Q
Edges An associative container with unique keys holding the outgoing transitions of a state


Vincent Lemaout