Class IAOrderingHelper

java.lang.Object
de.mid.innovator.srv2api.icw2ia.IAOrderingHelper

public abstract class IAOrderingHelper extends 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: