org.eclipse.viatra.transformation.evm.api.resolver

## Interface ConflictSet

- All Known Subinterfaces:
    ChangeableConflictSet
  All Known Implementing Classes:
    ActivationCodesConflictSet, ArbitraryOrderConflictResolver.ArbitraryConflictSet, ComparingConflictResolver.ComparingConflictSet, DseConflictSet, FixedPriorityConflictSet, org.eclipse.viatra.transformation.evm.specific.resolver.impl.HashSetBasedConflictSetImpl, InvertedDisappearancePriorityConflictResolver.InvertedDisappearancePriorityConflictSet, LifoConflictResolver.LifoConflictSet, ScopedConflictSet, TraceExecutor.TraceExecutorConflictSet

      public interface ConflictSet

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method and Description
    --- | ---
    `java.util.Set<Activation<?>>` | `getConflictingActivations()`
    `ConflictResolver` | `getConflictResolver()`
    `Activation<?>` | `getNextActivation()`
    `java.util.Set<Activation<?>>` | `getNextActivations()`

- - ### Method Detail

    - #### getNextActivation

          Activation<?> getNextActivation()

      Returns:
        the next activation chosen by the resolver

    - #### getNextActivations

          java.util.Set<Activation<?>> getNextActivations()

      Returns:
        the set of activations that are considered as equal by the resolver

    - #### getConflictingActivations

          java.util.Set<Activation<?>> getConflictingActivations()

      Returns:
        the set of all activations that are in conflict (all enabled activations)

    - #### getConflictResolver

          ConflictResolver getConflictResolver()