23 #ifndef SPOT_LTLVISIT_CLONE_HH
24 # define SPOT_LTLVISIT_CLONE_HH
49 void visit(
const unop* uo);
50 void visit(
const binop* bo);
52 void visit(
const multop* mo);
54 void visit(
const bunop* c);
65 SPOT_API SPOT_DEPRECATED
70 #endif // SPOT_LTLVISIT_LUNABBREV_HH
Multi-operand operators.
Definition: multop.hh:40
A constant (True or False)
Definition: constant.hh:35
Binary operator.
Definition: binop.hh:42
Formula visitor.
Definition: visitor.hh:41
SPOT_API SPOT_DEPRECATED const formula * clone(const formula *f) __attribute__((deprecated))
Clone a formula.
Atomic propositions.
Definition: atomic_prop.hh:41
Clone a formula.
Definition: clone.hh:40
Bounded unary operator.
Definition: bunop.hh:37
Automaton operators.
Definition: automatop.hh:38
Unary operators.
Definition: unop.hh:40