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