- createEqualityInference
- generateEqualitiesPartitionedBy
Dumps the inference equalities as equality expressions that are partitioned by
the symbolScope. All
- getScopedCanonical
Returns a canonical expression that is fully contained by the symbolScope and
that is equivalent to
- isInferenceCandidate
Determines whether an Expression may be successfully applied to the equality
inference
- nonInferrableConjuncts
Provides a convenience Iterable of Expression conjuncts which have not been
added to the inference
- rewriteExpression
- getCanonical
Returns the most preferrable expression to be used as the canonical expression
- normalizeInPredicateToEquality
Rewrite single value InPredicates as equality if possible
- symbolToExpressionPredicate
- rewriteExpressionAllowNonDeterministic
Attempts to rewrite an Expression in terms of the symbols allowed by the symbol
scope given the know