public class ManualConflictResolver
extends org.eclipse.viatra.transformation.evm.api.adapter.AbstractEVMAdapter
Modifier and Type | Class and Description |
---|---|
class |
ManualConflictResolver.ManualConflictResolverConflictSet |
class |
ManualConflictResolver.ManualConflictResolverIterator |
Constructor and Description |
---|
ManualConflictResolver(IDebugController usedUI) |
Modifier and Type | Method and Description |
---|---|
org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet |
getConflictSet(org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet set) |
java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>> |
getExecutableActivations(java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>> iterator) |
public ManualConflictResolver(IDebugController usedUI)
public org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet getConflictSet(org.eclipse.viatra.transformation.evm.api.resolver.ChangeableConflictSet set)
getConflictSet
in interface org.eclipse.viatra.transformation.evm.api.adapter.IEVMAdapter
getConflictSet
in class org.eclipse.viatra.transformation.evm.api.adapter.AbstractEVMAdapter
public java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>> getExecutableActivations(java.util.Iterator<org.eclipse.viatra.transformation.evm.api.Activation<?>> iterator)
getExecutableActivations
in interface org.eclipse.viatra.transformation.evm.api.adapter.IEVMAdapter
getExecutableActivations
in class org.eclipse.viatra.transformation.evm.api.adapter.AbstractEVMAdapter