spot
1.2.6
|
Files | |
file | allnodes.hh [code] |
Define all LTL node types. | |
file | atomic_prop.hh [code] |
LTL atomic propositions. | |
file | automatop.hh [code] |
ELTL automaton operators. | |
file | binop.hh [code] |
LTL binary operators. | |
file | bunop.hh [code] |
Bounded Unary operators. | |
file | constant.hh [code] |
LTL constants. | |
file | formula.hh [code] |
LTL formula interface. | |
file | formula_tree.hh [code] |
Trees representing formulae where atomic propositions are unknown. | |
file | multop.hh [code] |
LTL multi-operand operators. | |
file | nfa.hh [code] |
NFA interface used by automatop. | |
file | predecl.hh [code] |
Predeclare all LTL node types. | |
file | refformula.hh [code] |
Reference-counted LTL formulae. | |
file | unop.hh [code] |
LTL unary operators. | |
file | visitor.hh [code] |
LTL visitor interface. | |