Assertion list
abstract class (subgroup of class ) → HasProperty
Results from Ascent++: 4
abstract class → HasProperty → public 0.46
abstract class → HasProperty → fast 0.29
abstract class → HasProperty → useful 0.27
abstract class → HasProperty → incomplete 0.16