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).ConflictResolver
getConflictResolver()
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()
-
-