48 void visit(
const unop* uo);
49 void visit(
const binop* bo);
50 void visit(
const multop* mo);
52 void visit(
const bunop* c);
Multi-operand operators.
Definition: multop.hh:39
A constant (True or False)
Definition: constant.hh:34
Binary operator.
Definition: binop.hh:42
Formula visitor.
Definition: visitor.hh:40
Atomic propositions.
Definition: atomic_prop.hh:40
Clone a formula.
Definition: clone.hh:39
Bounded unary operator.
Definition: bunop.hh:37
Unary operators.
Definition: unop.hh:38