dReal4
dynamic_bitset.h
1 #pragma once
2 
3 #include "dreal/util/dynamic_bitset.hpp"
4 
5 namespace dreal {
6 using DynamicBitset = dynamic_bitset<size_t>;
7 
8 } // namespace dreal
dreal
Sum type of symbolic::Expression and symbolic::Formula.
Definition: api.cc:9