Class IAOrderingHelper


  • public abstract class IAOrderingHelper
    extends java.lang.Object
    A GeneralOrdering represents a binary relation between two OccurrenceSpecifications to describe that one OccurrenceSpecification must occur before the other in a valid trace. This mechanism provides the ability to define partial orders of OccurrenceSpecifications that may otherwise not have a specified order.
    See Also:
    IAOrdering