public static class Precondition.NumericComparisonPrecondition
A numeric comparison precondition is used for patterns containing a predicate that compares some
expression E with a numeric constant. The expression E is evaluated as a characteristic, so that
in a set of rules with predicates that compare E against different numeric constants, the expression
E is only evaluated once.
Nested Class Summary
Nested classes/interfaces inherited from class com.saxonica.ee.trans.Precondition