dReal4
logic.h
1 #pragma once
2 
3 #include <ostream>
4 #include <string>
5 
6 namespace dreal {
7 
8 enum class Logic {
9  ALL,
10  QF_NRA,
11  QF_NRA_ODE,
12  QF_LRA,
13  QF_RDL,
14 };
15 
16 Logic parse_logic(const std::string& s);
17 std::ostream& operator<<(std::ostream& os, const Logic& logic);
18 
19 } // namespace dreal
dreal
Sum type of symbolic::Expression and symbolic::Formula.
Definition: api.cc:9