Package org.processmining.plugins.inductiveVisualMiner.helperClasses

Class IvMModel

java.lang.Object

org.processmining.plugins.inductiveVisualMiner.helperClasses.IvMModel

public class IvMModel
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	IvMModel.Source

Constructor Summary

Constructors

Constructor	Description
IvMModel(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net)	The given net does not need to be a sound workflow net, but from every reachable marking, it must be possible to reach a final marking.
IvMModel(org.processmining.directlyfollowsmodelminer.model.DirectlyFollowsModel dfg)
IvMModel(org.processmining.plugins.InductiveMiner.efficienttree.EfficientTree tree)

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object obj)
java.lang.String	getActivityName(int node)
java.lang.Iterable<java.lang.Integer>	getAllNodes()
org.processmining.directlyfollowsmodelminer.model.DirectlyFollowsModel	getDfg()
int	getMaxNumberOfNodes()
org.processmining.acceptingpetrinet.models.AcceptingPetriNet	getNet()
org.processmining.models.graphbased.directed.petrinet.elements.Transition	getNetTransition(int node)
IvMModel.Source	getSource()	Get the one who constructed this model.
IvMEfficientTree	getTree()
int	hashCode()
boolean	isActivity(int node)
boolean	isDfg()
boolean	isNet()
boolean	isParentOf(int parent, int child)
boolean	isTau(int node)
boolean	isTree()
void	setSource(IvMModel.Source source)

Methods inherited from class java.lang.Object

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

Constructor Detail

IvMModel

public IvMModel(org.processmining.plugins.InductiveMiner.efficienttree.EfficientTree tree)

IvMModel

public IvMModel(org.processmining.directlyfollowsmodelminer.model.DirectlyFollowsModel dfg)

IvMModel

public IvMModel(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net)

The given net does not need to be a sound workflow net, but from every reachable marking, it must be possible to reach a final marking.

Parameters:

net -

Method Detail

isTree

public boolean isTree()

getTree

public IvMEfficientTree getTree()

isDfg

public boolean isDfg()

getDfg

public org.processmining.directlyfollowsmodelminer.model.DirectlyFollowsModel getDfg()

isNet

public boolean isNet()

getNet

public org.processmining.acceptingpetrinet.models.AcceptingPetriNet getNet()

getNetTransition

public org.processmining.models.graphbased.directed.petrinet.elements.Transition getNetTransition(int node)

getActivityName

public java.lang.String getActivityName(int node)

isActivity

public boolean isActivity(int node)

getAllNodes

public java.lang.Iterable<java.lang.Integer> getAllNodes()

isTau

public boolean isTau(int node)

isParentOf

public boolean isParentOf(int parent,
                          int child)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

getMaxNumberOfNodes

public int getMaxNumberOfNodes()

getSource

public IvMModel.Source getSource()

Get the one who constructed this model. Default is "mined"

Returns:

setSource

public void setSource(IvMModel.Source source)