Main Page
|
Namespace List
|
Class Hierarchy
|
Class List
|
File List
|
Namespace Members
|
Class Members
spot Documentation
0.0l
This main page has yet to be written.
Handy starting points
spot::ltl::formula
Base class for an LTL formulae.
spot::ltl::parse
Parsing a text string into a
spot::ltl::formula
.
spot::tgba
Base class for Transition-based Generalized Büchi Automaton.
spot::ltl_to_tgba Convert a
spot::ltl::formula
into a
spot::tgba
.
Generated on Mon Dec 1 11:33:53 2003 for spot by
1.3.4