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 (binop *bo) |
virtual formula * | recurse (formula *f) |
formula * | result () const |
void | visit (atomic_prop *ap) |
void | visit (unop *uo) |
void | visit (automatop *mo) |
void | visit (multop *mo) |
void | visit (constant *c) |
Protected Attributes | |
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):
typedef clone_visitor spot::ltl::simplify_f_g_visitor::super [private] |
spot::ltl::simplify_f_g_visitor::simplify_f_g_visitor | ( | ) |
virtual spot::ltl::simplify_f_g_visitor::~simplify_f_g_visitor | ( | ) | [virtual] |
Reimplemented from spot::ltl::clone_visitor.
formula* spot::ltl::clone_visitor::result | ( | ) | const [inherited] |
void spot::ltl::clone_visitor::visit | ( | constant * | c | ) | [virtual, inherited] |
Implements spot::ltl::visitor.
void spot::ltl::clone_visitor::visit | ( | multop * | mo | ) | [virtual, inherited] |
Implements spot::ltl::visitor.
void spot::ltl::clone_visitor::visit | ( | automatop * | mo | ) | [virtual, inherited] |
Implements spot::ltl::visitor.
void spot::ltl::clone_visitor::visit | ( | unop * | uo | ) | [virtual, inherited] |
Implements spot::ltl::visitor.
Reimplemented in spot::ltl::unabbreviate_ltl_visitor.
void spot::ltl::clone_visitor::visit | ( | atomic_prop * | ap | ) | [virtual, inherited] |
Implements spot::ltl::visitor.
void spot::ltl::simplify_f_g_visitor::visit | ( | binop * | bo | ) | [virtual] |
Reimplemented from spot::ltl::clone_visitor.
formula* spot::ltl::clone_visitor::result_ [protected, inherited] |