Member predicate ConstantValue::isRational
Holds if this is the rational value numerator / denominator
.
predicate isRational(int numerator, int denominator)
Holds if this is the rational value numerator / denominator
.
predicate isRational(int numerator, int denominator)