Interface ConflictSet
-
- All Known Subinterfaces:
ChangeableConflictSet
- All Known Implementing Classes:
ArbitraryOrderConflictResolver.ArbitraryConflictSet,ComparingConflictResolver.ComparingConflictSet,FixedPriorityConflictSet,org.eclipse.viatra.transformation.evm.specific.resolver.impl.HashSetBasedConflictSetImpl,InvertedDisappearancePriorityConflictResolver.InvertedDisappearancePriorityConflictSet,LifoConflictResolver.LifoConflictSet,ScopedConflictSet
public interface ConflictSet
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.util.Set<Activation<?>>getConflictingActivations()Returns a snapshot of all activations that are in conflict (all enabled activations).ConflictResolvergetConflictResolver()Activation<?>getNextActivation()java.util.Set<Activation<?>>getNextActivations()Returns a snapshot of activations that are considered as equal by the resolver.
-
-
-
Method Detail
-
getNextActivation
Activation<?> getNextActivation()
- Returns:
- the next activation chosen by the resolver
-
getNextActivations
java.util.Set<Activation<?>> getNextActivations()
Returns a snapshot of activations that are considered as equal by the resolver. Each time the method is called, a new copy of the activation set is returned.
-
getConflictingActivations
java.util.Set<Activation<?>> getConflictingActivations()
Returns a snapshot of all activations that are in conflict (all enabled activations). Each time the method is called, a new copy of the conflicting actions are returned.
-
getConflictResolver
ConflictResolver getConflictResolver()
-
-