smats  0.0.1
Satisfability Modulo Arithmetic Theories Symbols
Loading...
Searching...
No Matches
visitor.h
1
9#pragma once
10
11namespace smats {
12
13template <class T>
14class Visitor {
15 virtual void visit(const T &e) = 0;
16};
17
18} // namespace smats
Definition visitor.h:14
ExpressionKind enum.