Class IANegHelper


  • public abstract class IANegHelper
    extends java.lang.Object
    The interactionOperator 'neg' designates that the CombinedFragment represents traces that are defined to be invalid.
    See Also:
    IANeg