25 #ifndef SPOT_LTLAST_VISITOR_HH
26 # define SPOT_LTLAST_VISITOR_HH
28 # include "misc/common.hh"
45 virtual void visit(
const constant* node) = 0;
46 virtual void visit(
const binop* node) = 0;
47 virtual void visit(
const unop* node) = 0;
48 virtual void visit(
const multop* node) = 0;
49 virtual void visit(
const automatop* node) = 0;
50 virtual void visit(
const bunop* node) = 0;
55 #endif // SPOT_LTLAST_VISITOR_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
Atomic propositions.
Definition: atomic_prop.hh:41
Predeclare all LTL node types.
Bounded unary operator.
Definition: bunop.hh:37
Automaton operators.
Definition: automatop.hh:38
Unary operators.
Definition: unop.hh:40