dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
dlinear::Interval Class Reference

Static Public Member Functions

static Interval FromString (const std::string &s)
 Constructs an interval from a string.
 

Detailed Description

Definition at line 20 of file Interval.h.

Member Function Documentation

◆ FromString()

Interval dlinear::Interval::FromString ( const std::string & s)
static

Constructs an interval from a string.

Box::Interval::FromString("100"); // [-100, 100]
Parameters
svalue used to construct the interval
Returns
newly constructed interval

Definition at line 105 of file Interval.cpp.


The documentation for this class was generated from the following files: