smats  0.0.1
Satisfability Modulo Arithmetic Theories Symbols
Loading...
Searching...
No Matches
fmt_ostream.h
1
10#pragma once
11
12#include <fmt/ostream.h>
13
14#include "smats/symbolic/symbolic.h"
15
16#define OSTREAM_FORMATTER(type) \
17 template <> \
18 struct fmt::formatter<type> : ostream_formatter {};
19
20OSTREAM_FORMATTER(smats::ExpressionKind);
21OSTREAM_FORMATTER(smats::Variable);
22OSTREAM_FORMATTER(smats::Variables);
23OSTREAM_FORMATTER(smats::EnvironmentD);
24OSTREAM_FORMATTER(smats::EnvironmentF);
25OSTREAM_FORMATTER(smats::EnvironmentI);
26OSTREAM_FORMATTER(smats::EnvironmentL);
27OSTREAM_FORMATTER(smats::ExpressionD);
28OSTREAM_FORMATTER(smats::ExpressionF);
29OSTREAM_FORMATTER(smats::ExpressionI);
30OSTREAM_FORMATTER(smats::ExpressionL);
Definition environment.h:45
Definition expression.h:185
Definition variable.h:34
Definition variables.h:27
ExpressionKind
Definition expression_kind.h:20