public class ExhaustiveInfo
extends java.lang.Object
Constructor and Description |
---|
ExhaustiveInfo() |
Modifier and Type | Method and Description |
---|---|
java.util.Set<org.processmining.framework.util.Pair<java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>> |
getLdPlaces() |
java.util.Set<org.processmining.framework.util.Pair<java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>> |
getLdTrans() |
static int |
getTotalLDPlacesEvaluated() |
static int |
getTotalLDTransEvaluated() |
static long |
getTotalTimeForLDPlaces() |
static long |
getTotalTimeForLDTrans() |
void |
setLdPlaces(java.util.Set<org.processmining.framework.util.Pair<java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>> ldPlaces) |
void |
setLdTrans(java.util.Set<org.processmining.framework.util.Pair<java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>> ldTrans) |
static void |
setTotalLDPlacesEvaluated(int totalLDPlacesEvaluated) |
static void |
setTotalLDTransEvaluated(int totalLDTransEvaluated) |
static void |
setTotalTimeForLDPlaces(long totalTimeForLDPlaces) |
static void |
setTotalTimeForLDTrans(long totalTimeForLDTrans) |
public static long getTotalTimeForLDPlaces()
public java.util.Set<org.processmining.framework.util.Pair<java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>> getLdPlaces()
public void setLdPlaces(java.util.Set<org.processmining.framework.util.Pair<java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>> ldPlaces)
public java.util.Set<org.processmining.framework.util.Pair<java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>> getLdTrans()
public void setLdTrans(java.util.Set<org.processmining.framework.util.Pair<java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>,java.util.Set<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>>> ldTrans)
public static void setTotalTimeForLDPlaces(long totalTimeForLDPlaces)
public static long getTotalTimeForLDTrans()
public static void setTotalTimeForLDTrans(long totalTimeForLDTrans)
public static int getTotalLDPlacesEvaluated()
public static void setTotalLDPlacesEvaluated(int totalLDPlacesEvaluated)
public static int getTotalLDTransEvaluated()
public static void setTotalLDTransEvaluated(int totalLDTransEvaluated)