previousnext
ASTL homeSTL home
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