Member predicate Member::Modifiable::isAbstract

Holds if this declaration is abstract.

predicate isAbstract()