public class ManualConflictResolver.ManualConflictResolverConflictSet
extends java.lang.Object
implements org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet
Constructor and Description |
---|
ManualConflictResolver.ManualConflictResolverConflictSet(org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet delegatedConflictSet) |
Modifier and Type | Method and Description |
---|---|
boolean |
addActivation(org.eclipse.viatra.transformation.evm.api.Activation<?> activation) |
java.util.Set<org.eclipse.viatra.transformation.evm.api.Activation<?>> |
getConflictingActivations() |
org.eclipse.viatra.transformation.evm.api.resolver.ConflictResolver |
getConflictResolver() |
org.eclipse.viatra.transformation.evm.api.Activation<?> |
getNextActivation() |
java.util.Set<org.eclipse.viatra.transformation.evm.api.Activation<?>> |
getNextActivations() |
boolean |
removeActivation(org.eclipse.viatra.transformation.evm.api.Activation<?> activation) |
public ManualConflictResolver.ManualConflictResolverConflictSet(org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet delegatedConflictSet)
public org.eclipse.viatra.transformation.evm.api.Activation<?> getNextActivation()
getNextActivation
in interface org.eclipse.viatra.transformation.evm.api.resolver.ConflictSet
public java.util.Set<org.eclipse.viatra.transformation.evm.api.Activation<?>> getNextActivations()
getNextActivations
in interface org.eclipse.viatra.transformation.evm.api.resolver.ConflictSet
public java.util.Set<org.eclipse.viatra.transformation.evm.api.Activation<?>> getConflictingActivations()
getConflictingActivations
in interface org.eclipse.viatra.transformation.evm.api.resolver.ConflictSet
public org.eclipse.viatra.transformation.evm.api.resolver.ConflictResolver getConflictResolver()
getConflictResolver
in interface org.eclipse.viatra.transformation.evm.api.resolver.ConflictSet
public boolean addActivation(org.eclipse.viatra.transformation.evm.api.Activation<?> activation)
addActivation
in interface org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet
public boolean removeActivation(org.eclipse.viatra.transformation.evm.api.Activation<?> activation)
removeActivation
in interface org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet