Struct SymbolicBound#
Defined in File SymbolicVal.h
Struct Documentation#
-
struct SymbolicBound#
Public Functions
-
inline SymbolicBound()#
-
inline SymbolicBound(const SymbolicVal &l, const SymbolicVal &u)#
-
inline std::string toString() const#
-
inline SymbolicBound operator-(const SymbolicVal &v) const#
-
inline SymbolicBound operator+(const SymbolicVal &v) const#
-
void Union(const SymbolicBound &b2, MapObject<SymbolicVal, SymbolicBound> *f = 0)#
-
void Intersect(const SymbolicBound &b2, MapObject<SymbolicVal, SymbolicBound> *f = 0)#
-
void ReplaceVars(MapObject<SymbolicVal, SymbolicBound> &f)#
-
inline SymbolicBound()#