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