Main Page
|
Namespace List
|
Class Hierarchy
|
Class List
|
File List
|
Namespace Members
|
Class Members
spot Documentation
0.0v
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 Jun 29 17:00:35 2004 for spot by
1.3.7