Introduce hyper-rectangular sets for analysis.
- introduce hyper-rectangular set representation and API sketch for analysis/code generation - implement the 'intersect' and 'project out' operations. The represention is lighter weight, and operations and other queries on it are much faster on such domains when compared to general polyhedral domains. PiperOrigin-RevId: 210245882
Loading
Please sign in to comment