Main Page
|
Namespace List
|
Class Hierarchy
|
Class List
|
File List
|
Namespace Members
|
Class Members
spot Documentation
0.0n
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_fm
Convert a
spot::ltl::formula
into a
spot::tgba
.
spot::ltl_to_tgba_lacim
Likewise.
Generated on Tue Jan 13 18:18:21 2004 for spot by
1.3.5