org.eclipse.viatra.transformation.evm.specific

Class ConflictResolvers

java.lang.Object

org.eclipse.viatra.transformation.evm.specific.ConflictResolvers

public final class ConflictResolvers
extends java.lang.Object

Method Summary

Modifier and Type	Method and Description
static ArbitraryOrderConflictResolver	createArbitraryResolver()
static ComparingConflictResolver	createComparingResolver(java.util.Comparator<Activation<?>> comparator)
static FixedPriorityConflictResolver	createFixedPriorityResolver()

Methods inherited from class java.lang.Object

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

Method Detail

createArbitraryResolver

public static ArbitraryOrderConflictResolver createArbitraryResolver()

createFixedPriorityResolver

public static FixedPriorityConflictResolver createFixedPriorityResolver()

createComparingResolver

public static ComparingConflictResolver createComparingResolver(java.util.Comparator<Activation<?>> comparator)