27 #include "misc/common.hh"
44 virtual void visit(
const constant* node) = 0;
45 virtual void visit(
const binop* node) = 0;
46 virtual void visit(
const unop* node) = 0;
47 virtual void visit(
const multop* node) = 0;
48 virtual void visit(
const bunop* node) = 0;
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
Predeclare all LTL node types.
Bounded unary operator.
Definition: bunop.hh:37
Unary operators.
Definition: unop.hh:38