org.eclipse.viatra.transformation.evm.specific.resolver

Class ArbitraryOrderConflictResolver.ArbitraryConflictSet

java.lang.Object

org.eclipse.viatra.transformation.evm.specific.resolver.impl.HashSetBasedConflictSetImpl

org.eclipse.viatra.transformation.evm.specific.resolver.ArbitraryOrderConflictResolver.ArbitraryConflictSet

All Implemented Interfaces:

ChangeableConflictSet, ConflictSet

Enclosing class:

ArbitraryOrderConflictResolver

public final class ArbitraryOrderConflictResolver.ArbitraryConflictSet
extends org.eclipse.viatra.transformation.evm.specific.resolver.impl.HashSetBasedConflictSetImpl

Field Summary

Fields inherited from class org.eclipse.viatra.transformation.evm.specific.resolver.impl.HashSetBasedConflictSetImpl

container

Constructor Summary

Constructors

Constructor and Description
ArbitraryConflictSet()

Method Summary

Modifier and Type	Method and Description
ArbitraryOrderConflictResolver	getConflictResolver()
Activation<?>	getNextActivation()

Methods inherited from class org.eclipse.viatra.transformation.evm.specific.resolver.impl.HashSetBasedConflictSetImpl

addActivation, getConflictingActivations, getNextActivations, removeActivation

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ArbitraryConflictSet

public ArbitraryConflictSet()

Method Detail

getNextActivation

public Activation<?> getNextActivation()

Returns:

the next activation chosen by the resolver

getConflictResolver

public ArbitraryOrderConflictResolver getConflictResolver()