spot
1.99.3
|
Classes | |
class | spot::ltl::clone_visitor |
Clone a formula. 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... | |