dlinear
0.0.1
Delta-complete SMT solver for linear programming
|
Static Public Member Functions | |
static Interval | FromString (const std::string &s) |
Constructs an interval from a string. | |
Definition at line 20 of file Interval.h.
|
static |
Constructs an interval from a string.
s | value used to construct the interval |
Definition at line 105 of file Interval.cpp.