Tag
Description
This is one of the two types a user need to provide when using ASTL automata.
It allows him to store additional datas in the states of the Automaton.
Refinement of
Associated types
Notation
Definitions
Valid expressions
It needs nothing, it's pure user stuff...
Expression semantics
Complexity guarantees
Invariants
Models
Some tags have been defined in order to show you the minimum requirements of the
various algorithms