#include <reducform.hh>
Inheritance diagram for spot::ltl::node_type_form_visitor:
Public Types | |
enum | type { Atom, Const, Unop, Binop, Multop } |
Public Member Functions | |
node_type_form_visitor () | |
virtual | ~node_type_form_visitor () |
type | result () const |
void | visit (const atomic_prop *ap) |
void | visit (const constant *c) |
void | visit (const unop *uo) |
void | visit (const binop *bo) |
void | visit (const multop *mo) |
Protected Attributes | |
type | result_ |
|
|
|
|
|
|
|
|
|
Implements spot::ltl::const_visitor. |
|
Implements spot::ltl::const_visitor. |
|
Implements spot::ltl::const_visitor. |
|
Implements spot::ltl::const_visitor. |
|
Implements spot::ltl::const_visitor. |
|
|