Module RangeAnalysis
Contains predicates for reasoning about the relative numeric value of expressions.
Import path
import javascript
Predicates
binaryPhiNode | Holds if |
comparisonEdge | Holds if immediately after |
foldedComparisonEdge | Holds if a comparison implies that |
hasNaNIndicator | Holds if the given container has a comment or identifier mentioning |
isContradictoryGuardNode | Holds if the condition asserted at |
linearComparison | Holds if the given |
linearComparisonGuard | Holds if |
linearDefinition | Holds if |
linearDefinitionSum | Holds if |
phiEdge | Holds if |
seedEdge | The set of initial edges including those from dual constraints. |