org.processmining.mixedparadigm.models.mixedparadigm.constraints.binary

Class NotCoExistence

java.lang.Object

org.processmining.mixedparadigm.models.mixedparadigm.constraints.ConstraintType.Binary

org.processmining.mixedparadigm.models.mixedparadigm.constraints.binary.NotCoExistence

All Implemented Interfaces:

ConstraintType

public final class NotCoExistence
extends ConstraintType.Binary

Nested Class Summary

Nested classes/interfaces inherited from interface org.processmining.mixedparadigm.models.mixedparadigm.constraints.ConstraintType

ConstraintType.Binary, ConstraintType.Branched, ConstraintType.Helper, ConstraintType.Unary

Field Summary

Fields inherited from class org.processmining.mixedparadigm.models.mixedparadigm.constraints.ConstraintType.Binary

graphics

Fields inherited from interface org.processmining.mixedparadigm.models.mixedparadigm.constraints.ConstraintType

ALTERNATEPRECEDENCE, ALTERNATERESPONSE, ALTERNATESUC, ATLEAST_, ATMOST_, BRANCHEDALTERNATEPRECEDENCE, BRANCHEDPRECEDENCE, BRANCHEDRESPONDEDEXISTENCE, BRANCHEDRESPONSE, CHAINPRECEDENCE, CHAINRESPONSE, CHAINSUCCESSION, CHOICE_, COEXISTENCE, EXACT_, EXCLUSIVECHOICE_, INIT, NOTCHAINSUC, NOTCOEXIST, NOTSUC, PRECEDENCE, RESPONDEDEXISTENCE, RESPONSE, SUCCESSION

Constructor Summary

Constructors

Constructor and Description
NotCoExistence()

Method Summary

Modifier and Type	Method and Description
DeterministicFiniteAutomaton	getAutomaton(gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int, org.processmining.models.graphbased.directed.petrinet.elements.Transition from, org.processmining.models.graphbased.directed.petrinet.elements.Transition to) Returns the automaton representation of this constraint type.
java.lang.String	getName() Returns the name of this constraint

Methods inherited from class org.processmining.mixedparadigm.models.mixedparadigm.constraints.ConstraintType.Binary

getActivationMode, getGraphics, getLabel

Methods inherited from class java.lang.Object

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

Constructor Detail

NotCoExistence

public NotCoExistence()

Method Detail

getAutomaton

public DeterministicFiniteAutomaton getAutomaton(gnu.trove.map.TObjectShortMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition> trans2int,
                                                 org.processmining.models.graphbased.directed.petrinet.elements.Transition from,
                                                 org.processmining.models.graphbased.directed.petrinet.elements.Transition to)

Description copied from class: ConstraintType.Binary

Returns the automaton representation of this constraint type.

Specified by:

getAutomaton in class ConstraintType.Binary

Returns:

getName

public java.lang.String getName()

Description copied from interface: ConstraintType

Returns the name of this constraint

Returns: