Member predicate CustomAbstractValueFromDefinition::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)