| Package | Description |
|---|---|
| cetus.analysis |
| Modifier and Type | Class and Description |
|---|---|
class |
BanerjeeTest
Banerjee Test implements data-dependence testing for a pair of
affine subscripts using Banerjee inequalities
|
class |
OmegaTest |
class |
RangeTest
Symbolic Range Test for disproving loop-carried dependences between two
subscript expressions.
|