bounds are retained as high level tree structures to accommodate symbolic information in boundary expressions. More...

Collaboration diagram for sSimpBound:

Detailed Description

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.

Field Documentation

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.

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