|
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. | |
1.8.4