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