Modifier and Type | Method and Description |
---|---|
org.processmining.framework.util.Pair<StateMachineNet,java.util.Map<org.processmining.models.graphbased.directed.DirectedGraphElement,ElementBlock>> |
StateMachineBuilderAlgorithm.build(org.processmining.models.graphbased.directed.DirectedGraph<? extends org.processmining.models.graphbased.directed.DirectedGraphNode,? extends org.processmining.models.graphbased.directed.DirectedGraphEdge<? extends org.processmining.models.graphbased.directed.DirectedGraphNode,? extends org.processmining.models.graphbased.directed.DirectedGraphNode>> graph,
org.processmining.models.connections.GraphLayoutConnection layout,
LayoutParameters layoutParameters) |
java.util.Set<Reduction> |
AlternativeTransitionFinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters) |
java.util.Set<Reduction> |
FinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters)
Return the set of suitable reductions for the given net.
|
java.util.Set<Reduction> |
PlaceAbstractionFinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters)
Return the set of suitable reductions for the given net.
|
java.util.Set<Reduction> |
PlaceFinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters) |
java.util.Set<Reduction> |
ReverseTransitionFinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters) |
java.util.Set<Reduction> |
RigidFinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters)
Find a rigid.
|
java.util.Set<Reduction> |
SelfLoopTransitionFinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters) |
java.util.Set<Reduction> |
TransitionAbstractionFinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters)
Return the set of suitable reductions for the given net.
|
java.util.Set<Reduction> |
TransitionFinderAlgorithm.find(StateMachineNet net,
LayoutParameters layoutParameters)
Return the set of suitable reductions for the given net.
|
void |
LayoutAlgorithm.layout(org.processmining.models.graphbased.directed.DirectedGraph<? extends org.processmining.models.graphbased.directed.DirectedGraphNode,? extends org.processmining.models.graphbased.directed.DirectedGraphEdge<? extends org.processmining.models.graphbased.directed.DirectedGraphNode,? extends org.processmining.models.graphbased.directed.DirectedGraphNode>> graph,
org.processmining.models.connections.GraphLayoutConnection layout,
LayoutParameters layoutParameters)
Lay out the given graph, given the node sizes and additional parameters.
|
void |
ReductionAlgorithm.reduce(StateMachineNet net,
LayoutParameters layoutParameters)
Reduce the given net as far as possible.
|
boolean |
ReductionAlgorithm.reduceOnce(StateMachineNet net,
LayoutParameters layoutParameters)
Try to apply a single reduction on the net.
|
Constructor and Description |
---|
LayoutDialog(org.processmining.contexts.uitopia.UIPluginContext context,
LayoutParameters layoutParameters) |
Modifier and Type | Method and Description |
---|---|
double |
Block.getBottomHeight(LayoutParameters layoutParameters)
Returns the bottom height of this block.
|
double |
DummyBlock.getBottomHeight(LayoutParameters layoutParameters) |
double |
ElementBlock.getBottomHeight(LayoutParameters layoutParameters) |
double |
HorizontalBlock.getBottomHeight(LayoutParameters layoutParameters)
Returns the bottom height of the block.
|
double |
VerticalBlock.getBottomHeight(LayoutParameters layoutParameters)
Returns the bottom height of the block.
|
double |
Block.getTopHeight(LayoutParameters layoutParameters)
Returns the top height of this block.
|
double |
DummyBlock.getTopHeight(LayoutParameters layoutParameters) |
double |
ElementBlock.getTopHeight(LayoutParameters layoutParameters) |
double |
HorizontalBlock.getTopHeight(LayoutParameters layoutParameters)
Returns the top height of the block.
|
double |
VerticalBlock.getTopHeight(LayoutParameters layoutParameters)
Returns the top height of the block.
|
double |
Block.getWidth(LayoutParameters layoutParameters)
Returns the width of this block.
|
double |
DummyBlock.getWidth(LayoutParameters layoutParameters) |
double |
ElementBlock.getWidth(LayoutParameters layoutParameters) |
double |
HorizontalBlock.getWidth(LayoutParameters layoutParameters)
Returns the width of the block.
|
double |
VerticalBlock.getWidth(LayoutParameters layoutParameters)
Returns the width of the block.
|
void |
Block.setPosition(double positionX,
double positionY,
boolean isLeftToRight,
LayoutParameters layoutParameters)
Sets the positions (top-left corners) of all contained element blocks.
|
void |
DummyBlock.setPosition(double positionX,
double positionY,
boolean isLeftToRight,
LayoutParameters layoutParameters) |
void |
ElementBlock.setPosition(double positionX,
double positionY,
boolean isLeftToRight,
LayoutParameters layoutParameters)
Sets the position of the top-left corner of this element block.
|
void |
HorizontalBlock.setPosition(double positionX,
double positionY,
boolean isLeftToRight,
LayoutParameters layoutParameters)
Sets the positions of the top-left corners of all contained element
blocks.
|
void |
VerticalBlock.setPosition(double positionX,
double positionY,
boolean isLeftToRight,
LayoutParameters layoutParameters)
Sets the positions of the top-left corners of all contained element
blocks.
|
Constructor and Description |
---|
EdgeBlock(java.lang.String name,
LayoutParameters layoutParameters)
Creates an edge block, which has no size.
|
ElementBlock(java.lang.String name,
double height,
double width,
LayoutParameters layoutParameters)
Creates an element block with given size.
|
NodeBlock(java.lang.String name,
double height,
double width,
LayoutParameters layoutParameters)
Creates a node block of given size.
|
Modifier and Type | Method and Description |
---|---|
void |
PlaceAbstractionReduction.apply(StateMachineNet net,
LayoutParameters layoutParameters)
Applies this reduction to the given net.
|
void |
PlaceReduction.apply(StateMachineNet net,
LayoutParameters layoutParameters) |
void |
Reduction.apply(StateMachineNet net,
LayoutParameters layoutParameters)
Applies this reduction to the given net.
|
void |
RigidReduction.apply(StateMachineNet net,
LayoutParameters layoutParameters) |
void |
TransitionAbstractionReduction.apply(StateMachineNet net,
LayoutParameters layoutParameters)
Applies this reduction to the given net.
|
void |
TransitionReduction.apply(StateMachineNet net,
LayoutParameters layoutParameters)
Applies this reduction to the given net.
|
int |
PlaceAbstractionReduction.costs(StateMachineNet net,
LayoutParameters layoutParameters)
Returns the costs of applying this reduction on the given net.
|
int |
PlaceReduction.costs(StateMachineNet net,
LayoutParameters layoutParameters) |
int |
Reduction.costs(StateMachineNet net,
LayoutParameters layoutParameters)
Returns the costs of applying this reduction on the given net.
|
int |
RigidReduction.costs(StateMachineNet net,
LayoutParameters layoutParameters) |
int |
TransitionAbstractionReduction.costs(StateMachineNet net,
LayoutParameters layoutParameters)
Returns the costs of applying this reduction on the given net.
|
int |
TransitionReduction.costs(StateMachineNet net,
LayoutParameters layoutParameters)
Returns the costs of applying this reduction on the given net.
|
Modifier and Type | Method and Description |
---|---|
org.processmining.models.graphbased.directed.petrinet.Petrinet |
StateMachineNet.createPetriNet(LayoutParameters layoutParameters) |