spot
0.8.2
|
visit(atomic_prop *node)=0 | spot::ltl::visitor | [pure virtual] |
visit(constant *node)=0 | spot::ltl::visitor | [pure virtual] |
visit(binop *node)=0 | spot::ltl::visitor | [pure virtual] |
visit(unop *node)=0 | spot::ltl::visitor | [pure virtual] |
visit(multop *node)=0 | spot::ltl::visitor | [pure virtual] |
visit(automatop *node)=0 | spot::ltl::visitor | [pure virtual] |
~visitor() | spot::ltl::visitor | [inline, virtual] |