true U f
and false R g
by F f
and G g
.
More...
#include <simpfg.hh>
Inheritance diagram for spot::ltl::simplify_f_g_visitor:
Public Member Functions | |
simplify_f_g_visitor () | |
virtual | ~simplify_f_g_visitor () |
void | visit (binop *bo) |
virtual formula * | recurse (formula *f) |
void | visit (atomic_prop *ap) |
void | visit (unop *uo) |
void | visit (binop *bo) |
void | visit (multop *mo) |
void | visit (constant *c) |
formula * | result () const |
Protected Attributes | |
formula * | result_ |
Private Types | |
typedef clone_visitor | super |
true U f
and false R g
by F f
and G g
.
|
|
|
|
|
|
|
Reimplemented from spot::ltl::clone_visitor. |
|
|
|
|
|
|
|
|
|
|
|
|
|
Reimplemented from spot::ltl::clone_visitor. |
|
|