23 #ifndef SPOT_LTLVISIT_SIMPFG_HH
24 # define SPOT_LTLVISIT_SIMPFG_HH
51 void visit(
const binop* bo);
71 #endif // SPOT_LTLVISIT_LUNABBREV_HH
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
SPOT_API const formula * simplify_f_g(const formula *f)
Replace true U f and false R g by F f and G g.
Replace true U f and false R g by F f and G g.
Definition: simpfg.hh:43
Binary operator.
Definition: binop.hh:42
Clone a formula.
Definition: clone.hh:40