Assertion list
complexity (aspect of algorithm ) → ReceivesAction

Results from Ascent++: 7
complexityReceivesAction reduced 0.68
complexityReceivesAction recognized 0.49
complexityReceivesAction analyzed 0.47
complexityReceivesAction increased 0.39
complexityReceivesAction bounded in the worst case 0.25
complexityReceivesAction hidden 0.25
complexityReceivesAction improved 0.16