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

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()