smats  0.0.1
Satisfability Modulo Arithmetic Theories Symbols
Loading...
Searching...
No Matches
symbolic_util.h
1
9#pragma once
10
11namespace smats {
12
22template <class T>
23bool is_integer(const T& v);
24
34template <class T>
35T pow(const T& base, const T& exponent);
36
37} // namespace smats
ExpressionKind enum.