|
spot
1.2.6
|
Classes | |
| class | spot::ltl::clone_visitor |
| Clone a formula. More... | |
| class | spot::ltl::unabbreviate_logic_visitor |
| Clone and rewrite a formula to remove most of the abbreviated logical operators. More... | |
| class | spot::ltl::postfix_visitor |
| Apply an algorithm on each node of an AST, during a postfix traversal. More... | |
| class | spot::ltl::simplify_f_g_visitor |
Replace true U f and false R g by F f and G g. More... | |
| class | spot::ltl::unabbreviate_ltl_visitor |
| Clone and rewrite a formula to remove most of the abbreviated LTL and logical operators. More... | |
1.8.4