Assertion list
method (aspect of class ) → HasPrerequisite
Results from Ascent++: 4
method → HasPrerequisite → object 0.42
method → HasPrerequisite → the type of the object 0.31
method → HasPrerequisite → o(1operations 0.29
method → HasPrerequisite → parameter 0.28