org.processmining.models.DCNet

Class DCNet

java.lang.Object

org.processmining.models.cnet.CNet

org.processmining.models.DCNet.DCNet

All Implemented Interfaces:

org.processmining.models.cnet.CausalNet, Replayable

public class DCNet
extends org.processmining.models.cnet.CNet
implements Replayable

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	DCNet.Position

Nested classes/interfaces inherited from interface org.processmining.models.cnet.CausalNet

org.processmining.models.cnet.CausalNet.Factory

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<DCNetNode,java.util.Set<java.lang.String>>	lastNodesPerVariables
static char	OUTPUTVAR_IDENTIFIER
static DCNet.Position	OUTPUTVAR_IDENTIFIER_POS
protected java.util.Map<java.lang.String,org.processmining.models.DCNet.Domain>	setTable
protected int	shortestTrace
static java.lang.String	SPECIAL_CHAR
protected java.util.Map<java.lang.String,java.lang.String>	variableTable

Fields inherited from class org.processmining.models.cnet.CNet

endNode, inputBindings, label, nodes, outputBindings, startNode

Constructor Summary

Constructors

Constructor and Description
DCNet(java.lang.String label)

Method Summary

Modifier and Type	Method and Description
org.processmining.models.cnet.CNetBinding	addInputBinding(org.processmining.models.cnet.CNetNode node, org.processmining.models.cnet.CNetNode... nodes) Add an input binding
org.processmining.models.cnet.CNetBinding	addInputBinding(org.processmining.models.cnet.CNetNode node, java.util.Collection<? extends org.processmining.models.cnet.CNetNode> nodes) Add an input binding
DCNetBinding	addInputBinding(DCNetNode node, java.lang.String dataExpression, java.util.Collection<? extends DCNetNode> nodes) Add an input binding
DCNetBinding	addInputBinding(DCNetNode node, java.lang.String dataExpression, DCNetNode... nodes) Add an input binding
org.processmining.models.cnet.CNetNode	addNode(DCNetNode node, java.lang.String resourceSet)
void	addNonAffectingVariables(java.lang.String varName, DCNetNode node)
org.processmining.models.cnet.CNetBinding	addOutputBinding(org.processmining.models.cnet.CNetNode node, org.processmining.models.cnet.CNetNode... nodes) Add an output binding
org.processmining.models.cnet.CNetBinding	addOutputBinding(org.processmining.models.cnet.CNetNode node, java.util.Collection<? extends org.processmining.models.cnet.CNetNode> nodes) Add an output binding
DCNetBinding	addOutputBinding(DCNetNode node, java.lang.String dataExpression, java.util.Collection<? extends DCNetNode> nodes) Add an output binding
DCNetBinding	addOutputBinding(DCNetNode node, java.lang.String dataExpression, DCNetNode... nodes) Add an output binding
void	addValuesToSet(java.lang.String setName, java.lang.Comparable... newValues)
void	addVariable(java.lang.String varName, java.lang.String setName)
boolean	areNonAffectingVariables(DCNetNode node)
ExecutionTrace	buildEmptyPrefix()
ExecutionTrace	createLogExecutionTrace(ExecutionTrace sigmaT)
java.util.Set<java.lang.String>	getNonAffectingVariables(DCNetNode node)
java.util.Set<org.processmining.models.cnet.CNetNode>	getPredecessors(org.processmining.models.cnet.CNetNode node) Returns the predecessors of a CNet node, i.e.
java.lang.String	getSetForVariable(java.lang.String varName)
java.util.Map<java.lang.String,java.util.Set<java.lang.Comparable>>	getSetTable()
java.util.Set<java.lang.Comparable>	getSetValues(java.lang.String setName)
java.util.Set<org.processmining.models.cnet.CNetNode>	getSuccessors(org.processmining.models.cnet.CNetNode node) Returns the successors of a CNet node, i.e.
java.util.Set<java.lang.String>	getVariables()
static java.util.Set<java.lang.String>	getWrittenVariables(java.lang.String condition)
boolean	isConsistent() check if this cnet is consistent with the formal definitions: - one start node - one end node - dependencies between nodes are reflected in input/output bindings * @return
int	lengthShortestTrace()
void	setDomain(java.lang.String setName, java.lang.Class type, java.lang.Comparable minValue, java.lang.Comparable maxValue)
void	setEndNode(org.processmining.models.cnet.CNetNode endNode)
void	setLengthShortestTrace(int shortestTrace)
void	setResourceSet(java.lang.String setName)
void	setStartNode(org.processmining.models.cnet.CNetNode startNode)

Methods inherited from class org.processmining.models.cnet.CNet

addNode, getBindings, getBindings, getEndNode, getInputBindings, getInputBindings, getLabel, getNodes, getOutputBindings, getOutputBindings, getStartNode, removeBinding, removeNode, toString

Methods inherited from class java.lang.Object

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

Field Detail

SPECIAL_CHAR

public static final java.lang.String SPECIAL_CHAR

See Also:

Constant Field Values

OUTPUTVAR_IDENTIFIER

public static char OUTPUTVAR_IDENTIFIER

OUTPUTVAR_IDENTIFIER_POS

public static DCNet.Position OUTPUTVAR_IDENTIFIER_POS

setTable

protected java.util.Map<java.lang.String,org.processmining.models.DCNet.Domain> setTable

variableTable

protected java.util.Map<java.lang.String,java.lang.String> variableTable

lastNodesPerVariables

protected java.util.Map<DCNetNode,java.util.Set<java.lang.String>> lastNodesPerVariables

shortestTrace

protected int shortestTrace

Constructor Detail

DCNet

public DCNet(java.lang.String label)

Method Detail

getWrittenVariables

public static java.util.Set<java.lang.String> getWrittenVariables(java.lang.String condition)

addInputBinding

public org.processmining.models.cnet.CNetBinding addInputBinding(org.processmining.models.cnet.CNetNode node,
                                                                 org.processmining.models.cnet.CNetNode... nodes)

Description copied from class: org.processmining.models.cnet.CNet

Add an input binding

Overrides:

addInputBinding in class org.processmining.models.cnet.CNet

addInputBinding

public org.processmining.models.cnet.CNetBinding addInputBinding(org.processmining.models.cnet.CNetNode node,
                                                                 java.util.Collection<? extends org.processmining.models.cnet.CNetNode> nodes)

Description copied from class: org.processmining.models.cnet.CNet

Add an input binding

Overrides:

addInputBinding in class org.processmining.models.cnet.CNet

addInputBinding

public DCNetBinding addInputBinding(DCNetNode node,
                                    java.lang.String dataExpression,
                                    java.util.Collection<? extends DCNetNode> nodes)

Add an input binding

Parameters:

node -

addInputBinding

public DCNetBinding addInputBinding(DCNetNode node,
                                    java.lang.String dataExpression,
                                    DCNetNode... nodes)

Add an input binding

Parameters:

node -

addNode

public org.processmining.models.cnet.CNetNode addNode(DCNetNode node,
                                                      java.lang.String resourceSet)

addNonAffectingVariables

public void addNonAffectingVariables(java.lang.String varName,
                                     DCNetNode node)

addOutputBinding

public org.processmining.models.cnet.CNetBinding addOutputBinding(org.processmining.models.cnet.CNetNode node,
                                                                  org.processmining.models.cnet.CNetNode... nodes)

Description copied from class: org.processmining.models.cnet.CNet

Add an output binding

Overrides:

addOutputBinding in class org.processmining.models.cnet.CNet

addOutputBinding

public org.processmining.models.cnet.CNetBinding addOutputBinding(org.processmining.models.cnet.CNetNode node,
                                                                  java.util.Collection<? extends org.processmining.models.cnet.CNetNode> nodes)

Description copied from class: org.processmining.models.cnet.CNet

Add an output binding

Overrides:

addOutputBinding in class org.processmining.models.cnet.CNet

addOutputBinding

public DCNetBinding addOutputBinding(DCNetNode node,
                                     java.lang.String dataExpression,
                                     java.util.Collection<? extends DCNetNode> nodes)

Add an output binding

Parameters:

node -

addOutputBinding

public DCNetBinding addOutputBinding(DCNetNode node,
                                     java.lang.String dataExpression,
                                     DCNetNode... nodes)

Add an output binding

Parameters:

node -

setDomain

public void setDomain(java.lang.String setName,
                      java.lang.Class type,
                      java.lang.Comparable minValue,
                      java.lang.Comparable maxValue)

addValuesToSet

public void addValuesToSet(java.lang.String setName,
                           java.lang.Comparable... newValues)

addVariable

public void addVariable(java.lang.String varName,
                        java.lang.String setName)

areNonAffectingVariables

public boolean areNonAffectingVariables(DCNetNode node)

buildEmptyPrefix

public ExecutionTrace buildEmptyPrefix()

Specified by:

buildEmptyPrefix in interface Replayable

createLogExecutionTrace

public ExecutionTrace createLogExecutionTrace(ExecutionTrace sigmaT)

Specified by:

createLogExecutionTrace in interface Replayable

getNonAffectingVariables

public java.util.Set<java.lang.String> getNonAffectingVariables(DCNetNode node)

getPredecessors

public java.util.Set<org.processmining.models.cnet.CNetNode> getPredecessors(org.processmining.models.cnet.CNetNode node)

Returns the predecessors of a CNet node, i.e. each of these nodes is in an input binding of the given node. If the net is consistent, then the given node is also in at least one output binding of each node in the returned set.

Specified by:

getPredecessors in interface org.processmining.models.cnet.CausalNet

Overrides:

getPredecessors in class org.processmining.models.cnet.CNet

Parameters:

node -

Returns:

getSetForVariable

public java.lang.String getSetForVariable(java.lang.String varName)

Specified by:

getSetForVariable in interface Replayable

getSetTable

public java.util.Map<java.lang.String,java.util.Set<java.lang.Comparable>> getSetTable()

getSetValues

public java.util.Set<java.lang.Comparable> getSetValues(java.lang.String setName)

Specified by:

getSetValues in interface Replayable

getSuccessors

public java.util.Set<org.processmining.models.cnet.CNetNode> getSuccessors(org.processmining.models.cnet.CNetNode node)

Description copied from class: org.processmining.models.cnet.CNet

Returns the successors of a CNet node, i.e. each of these nodes is in an output binding of the given node. If the net is consistent, then the given node is also in at least one input binding of each node in the returned set.

Specified by:

getSuccessors in interface org.processmining.models.cnet.CausalNet

Overrides:

getSuccessors in class org.processmining.models.cnet.CNet

getVariables

public java.util.Set<java.lang.String> getVariables()

isConsistent

public boolean isConsistent()

check if this cnet is consistent with the formal definitions: - one start node - one end node - dependencies between nodes are reflected in input/output bindings * @return

Overrides:

isConsistent in class org.processmining.models.cnet.CNet

lengthShortestTrace

public int lengthShortestTrace()

Specified by:

lengthShortestTrace in interface Replayable

setEndNode

public void setEndNode(org.processmining.models.cnet.CNetNode endNode)

Overrides:

setEndNode in class org.processmining.models.cnet.CNet

Parameters:

endNode - the endNode to set

setLengthShortestTrace

public void setLengthShortestTrace(int shortestTrace)

setResourceSet

public void setResourceSet(java.lang.String setName)

setStartNode

public void setStartNode(org.processmining.models.cnet.CNetNode startNode)

Overrides:

setStartNode in class org.processmining.models.cnet.CNet

Parameters:

startNode - the startNode to set