Assertion list
element (aspect of queue ) → ReceivesAction
Results from Ascent++: 21
element → ReceivesAction → removed 0.74
element → ReceivesAction → added 0.62
element → ReceivesAction → dequeued 0.60
element → ReceivesAction → added to the queue 0.51
element → ReceivesAction → inserted 0.49
element → ReceivesAction → enqueued 0.44
element → ReceivesAction → moved 0.41
element → ReceivesAction → displayed 0.35
element → ReceivesAction → processed 0.35
element → ReceivesAction → accessed 0.32
element → ReceivesAction → ordered 0.32
element → ReceivesAction → inserted in queue 0.31
element → ReceivesAction → required 0.29
element → ReceivesAction → shown in fig 0.29
element → ReceivesAction → sorted 0.29
element → ReceivesAction → examined 0.25
element → ReceivesAction → inserted in the list 0.25
element → ReceivesAction → performed by desired means 0.25
element → ReceivesAction → prepended in the order 0.25
element → ReceivesAction → removed in same order 0.25
element → ReceivesAction → retrieved 0.25