public class ReductionWorkspace
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
hardTransitions |
int[][] |
incidenceMatrix |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.framework.util.Pair<java.lang.Double,java.lang.Double>> |
layout |
org.processmining.models.connections.GraphLayoutConnection |
layoutConnection |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,Block> |
layoutMap |
org.processmining.acceptingpetrinet.models.AcceptingPetriNet |
net |
int |
nofPlaces |
int |
nofTransitions |
double |
OFFSET |
LayoutParameters |
parameters |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> |
placeMap |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,java.util.List<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> |
postsets |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,java.util.List<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> |
presets |
java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Arc> |
ptArcs |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> |
reversePlaceMap |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Arc> |
reverseTransitionMap |
double |
SCALE |
double |
threshold |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> |
tMap |
java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Place> |
transitionMap |
java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
transitions |
org.processmining.acceptingpetrinet.models.AcceptingPetriNet |
workNet |
Constructor and Description |
---|
ReductionWorkspace(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net) |
ReductionWorkspace(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net,
LayoutParameters parameters) |
Modifier and Type | Method and Description |
---|---|
void |
update() |
public final org.processmining.acceptingpetrinet.models.AcceptingPetriNet net
public final LayoutParameters parameters
public final org.processmining.acceptingpetrinet.models.AcceptingPetriNet workNet
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeMap
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Place> transitionMap
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.PetrinetNode> reversePlaceMap
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Arc> reverseTransitionMap
public int nofPlaces
public int nofTransitions
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.elements.Transition,java.lang.Integer> tMap
public int[][] incidenceMatrix
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,java.util.List<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> presets
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,java.util.List<org.processmining.models.graphbased.directed.petrinet.PetrinetNode>> postsets
public java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitions
public java.util.List<org.processmining.models.graphbased.directed.petrinet.elements.Arc> ptArcs
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,Block> layoutMap
public java.util.Map<org.processmining.models.graphbased.directed.petrinet.PetrinetNode,org.processmining.framework.util.Pair<java.lang.Double,java.lang.Double>> layout
public double threshold
public org.processmining.models.connections.GraphLayoutConnection layoutConnection
public final double SCALE
public final double OFFSET
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> hardTransitions
public ReductionWorkspace(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net)
public ReductionWorkspace(org.processmining.acceptingpetrinet.models.AcceptingPetriNet net, LayoutParameters parameters)