dReal4
sort.h
1 #pragma once
2 
3 #include <ostream>
4 #include <string>
5 
6 #include "dreal/symbolic/symbolic.h"
7 
8 namespace dreal {
9 
10 // TODO(soonho): Extend this.
11 enum class Sort {
12  Binary,
13  Bool,
14  Int,
15  Real,
16 };
17 
18 Sort ParseSort(const std::string& s);
19 
20 std::ostream& operator<<(std::ostream& os, const Sort& sort);
21 
22 Variable::Type SortToType(Sort sort);
23 
24 } // namespace dreal
dreal
Sum type of symbolic::Expression and symbolic::Formula.
Definition: api.cc:9
dreal::drake::symbolic::Variable::Type
Type
Supported types of symbolic variables.
Definition: symbolic_variable.h:22
symbolic.h
This is the header file that we consolidate Drake&#39;s symbolic classes and expose them inside of dreal ...