public class ContractionLog
extends java.lang.Object
Constructor and Description |
---|
ContractionLog(org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
Modifier and Type | Method and Description |
---|---|
void |
addContractedNode(org.processmining.models.graphbased.directed.petrinet.PetrinetNode n) |
void |
addContractedNodes(java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> nodes) |
java.util.ArrayList<java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> |
getContractedNodes() |
int |
getInitialSize() |
java.util.ArrayList<org.processmining.models.graphbased.directed.petrinet.Petrinet> |
getPetrinets() |
boolean |
getResult() |
int |
getResultSize() |
java.util.ArrayList<java.lang.String> |
getStrings() |
void |
nextStep() |
void |
nextStep(org.processmining.models.graphbased.directed.petrinet.Petrinet pn) |
void |
println(java.lang.String s) |
void |
println(org.apache.commons.lang3.tuple.Triple<org.processmining.models.graphbased.directed.petrinet.Petrinet,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> triple) |
void |
setResult(boolean result) |
void |
storeResultNetToFile(java.lang.String fileName) |
java.lang.String |
toString() |
public ContractionLog(org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public void nextStep()
public void nextStep(org.processmining.models.graphbased.directed.petrinet.Petrinet pn)
public void addContractedNode(org.processmining.models.graphbased.directed.petrinet.PetrinetNode n)
public void addContractedNodes(java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode> nodes)
public void println(java.lang.String s)
public void println(org.apache.commons.lang3.tuple.Triple<org.processmining.models.graphbased.directed.petrinet.Petrinet,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> triple)
public boolean getResult()
public void setResult(boolean result)
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.ArrayList<org.processmining.models.graphbased.directed.petrinet.Petrinet> getPetrinets()
public java.util.ArrayList<java.lang.String> getStrings()
public java.util.ArrayList<java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> getContractedNodes()
public int getInitialSize()
public int getResultSize()
public void storeResultNetToFile(java.lang.String fileName) throws java.io.IOException
java.io.IOException