spot
1.0.1
|
Replace true U f
and false R g
by F f
and G g
.
More...
#include <ltlvisit/simpfg.hh>
Public Member Functions | |
simplify_f_g_visitor () | |
virtual | ~simplify_f_g_visitor () |
void | visit (const binop *bo) |
virtual const formula * | recurse (const formula *f) |
const formula * | result () const |
void | visit (const atomic_prop *ap) |
void | visit (const unop *uo) |
void | visit (const automatop *mo) |
void | visit (const multop *mo) |
void | visit (const constant *c) |
void | visit (const bunop *c) |
Protected Attributes | |
const formula * | result_ |
Private Types | |
typedef clone_visitor | super |
Replace true U f
and false R g
by F f
and G g
.
Perform the following rewriting (from left to right):
|
private |
spot::ltl::simplify_f_g_visitor::simplify_f_g_visitor | ( | ) |
|
virtual |
Reimplemented from spot::ltl::clone_visitor.
|
inherited |
|
virtualinherited |
Implements spot::ltl::visitor.
|
virtualinherited |
Implements spot::ltl::visitor.
Reimplemented in spot::ltl::unabbreviate_ltl_visitor.
|
virtual |
Reimplemented from spot::ltl::clone_visitor.
|
virtualinherited |
Implements spot::ltl::visitor.
|
virtualinherited |
Implements spot::ltl::visitor.
|
virtualinherited |
Implements spot::ltl::visitor.
|
virtualinherited |
Implements spot::ltl::visitor.
|
protectedinherited |