Member predicate AbstractValue::isIndefinite
Holds if this abstract value is an indefinite value arising from the
incompleteness cause.
predicate isIndefinite(Incompleteness cause)Holds if this abstract value is an indefinite value arising from the
incompleteness cause.
predicate isIndefinite(Incompleteness cause)