org.eclipse.viatra.dse.base

Class DseConflictResolver

java.lang.Object

org.eclipse.viatra.dse.base.DseConflictResolver

All Implemented Interfaces:

ConflictResolver

public class DseConflictResolver
extends java.lang.Object
implements ConflictResolver

Constructor Summary

Constructors

Constructor and Description
DseConflictResolver(ConflictResolver activationOrderingConflictResolver, IStateCoder stateCoder)

Method Summary

Modifier and Type	Method and Description
ChangeableConflictSet	createConflictSet()
DseConflictSet	getLastCreatedConflictSet()

Methods inherited from class java.lang.Object

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

Constructor Detail

DseConflictResolver

public DseConflictResolver(ConflictResolver activationOrderingConflictResolver,
                           IStateCoder stateCoder)

Method Detail

createConflictSet

public ChangeableConflictSet createConflictSet()

Specified by:

createConflictSet in interface ConflictResolver

getLastCreatedConflictSet

public DseConflictSet getLastCreatedConflictSet()