PIPS
|
bounds are retained as high level tree structures to accommodate symbolic information in boundary expressions. More...
#include <comp_sections-local.h>
Data Fields | |
LinExpr | lb |
LinExpr | ub |
lower bound More... | |
bounds are retained as high level tree structures to accommodate symbolic information in boundary expressions.
When all the symbolic information gets resolved then the tree nodes are collapsed into a single instruction holding the constant value
Definition at line 67 of file comp_sections-local.h.
LinExpr sSimpBound::lb |
Definition at line 69 of file comp_sections-local.h.
LinExpr sSimpBound::ub |
lower bound
Definition at line 70 of file comp_sections-local.h.