org.processmining.mixedparadigm.models.mixedparadigm.constraints.branched

Class Choice

java.lang.Object

org.processmining.mixedparadigm.models.mixedparadigm.constraints.ConstraintType.Branched

org.processmining.mixedparadigm.models.mixedparadigm.constraints.branched.Choice

All Implemented Interfaces:

ConstraintType

public final class Choice
extends ConstraintType.Branched

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.Branched

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
Choice(short n)

Method Summary

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

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

getActivationMode, getGraphics

Methods inherited from class java.lang.Object

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

Constructor Detail

Choice

public Choice(short n)

Method Detail

getAutomaton

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

Description copied from class: ConstraintType.Branched

Returns the automaton representation of this constraint type.

Specified by:

getAutomaton in class ConstraintType.Branched

Returns:

getName

public java.lang.String getName()

Description copied from interface: ConstraintType

Returns the name of this constraint

Returns:

getLabel

public java.lang.String getLabel()

Description copied from interface: ConstraintType

Returns the label used in the visualization of this constraint

Specified by:

getLabel in interface ConstraintType

Overrides:

getLabel in class ConstraintType.Branched

Returns: