SymbolicBound

Synopsis

Declared in <src/midend/astUtil/symbolicVal/SymbolicVal.h>

struct SymbolicBound;

Member Functions

Name	Description
SymbolicBound [constructor]	Constructors
Intersect
ReplaceVars
Union
operator+	Addition operator
operator‐	Subtraction operator
toString

Data Members

Name

lb

ub

Non-Member Functions

Name	Description
operator!=	Inequality operator
operator==	Equality operator

Created with MrDocs