JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes
A
C
E
F
G
H
I
J
L
M
N
O
P
R
S
T
V
W
Y
A
addContractedNode(PetrinetNode)
- Method in class pl.mimuw.wfnetreduction.algorithms.
ContractionLog
addContractedNodes(Set<PetrinetNode>)
- Method in class pl.mimuw.wfnetreduction.algorithms.
ContractionLog
AndOrReductionAlgorithm
- Class in
pl.mimuw.wfnetreduction.algorithms
AndOrReductionAlgorithm()
- Constructor for class pl.mimuw.wfnetreduction.algorithms.
AndOrReductionAlgorithm
AndOrReductionPlugin
- Class in
pl.mimuw.wfnetreduction.plugins
AndOrReductionPlugin()
- Constructor for class pl.mimuw.wfnetreduction.plugins.
AndOrReductionPlugin
AndOrReductionPlugin11
- Class in
pl.mimuw.wfnetreduction.plugins
AndOrReductionPlugin11()
- Constructor for class pl.mimuw.wfnetreduction.plugins.
AndOrReductionPlugin11
apply(PluginContext, Petrinet, Set<PetrinetNode>, Set<PetrinetNode>, WFNetReductionParameters)
- Method in class pl.mimuw.wfnetreduction.algorithms.
AndOrReductionAlgorithm
The method that implements your algorithm.
C
checkIfCyclic(Petrinet, Set<PetrinetNode>)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
clonePetrinet(Petrinet, Set<PetrinetNode>, Set<PetrinetNode>)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
ContractionLog
- Class in
pl.mimuw.wfnetreduction.algorithms
ContractionLog(Petrinet)
- Constructor for class pl.mimuw.wfnetreduction.algorithms.
ContractionLog
E
equals(Object)
- Method in class pl.mimuw.wfnetreduction.parameters.
WFNetReductionParameters
expandP(Petrinet, Set<PetrinetNode>, Set<PetrinetNode>, Pair<Place, Place>, ContractionLog, boolean)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
expandT(Petrinet, Set<PetrinetNode>, Set<PetrinetNode>, Pair<Transition, Transition>, ContractionLog, boolean)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
F
filter(Predicate<E>)
- Method in class pl.mimuw.wfnetreduction.algorithms.
LazyIterator
filterDownstreamStreamsP(LazyIterator<Pair<Place, Place>>, LazyIterator<Pair<Transition, Transition>>, Set<PetrinetNode>, Set<PetrinetNode>, Set<PetrinetNode>, Place)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
filterDownstreamStreamsT(LazyIterator<Pair<Place, Place>>, LazyIterator<Pair<Transition, Transition>>, Set<PetrinetNode>, Set<PetrinetNode>, Set<PetrinetNode>, Transition)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
from(Iterator<T>)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
LazyIterator
G
getContractedNodes()
- Method in class pl.mimuw.wfnetreduction.algorithms.
ContractionLog
getImmediatePredecessors(Petrinet, Set<PetrinetNode>)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
getImmediateSuccessors(Petrinet, Set<PetrinetNode>)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
getInitialSize()
- Method in class pl.mimuw.wfnetreduction.algorithms.
ContractionLog
getInNodes(Petrinet, PetrinetNode)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
getInPlaces(Petrinet, Transition)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
getInTransitions(Petrinet, Place)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
getIOFromMarking(Marking, Set<PetrinetNode>, Set<PetrinetNode>)
- Static method in class pl.mimuw.wfnetreduction.plugins.
AndOrReductionPlugin
getOutNodes(Petrinet, PetrinetNode)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
getOutPlaces(Petrinet, Transition)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
getOutTransitions(Petrinet, Place)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
getParameters()
- Method in class pl.mimuw.wfnetreduction.connections.
WFNetReductionConnection
getPetrinets()
- Method in class pl.mimuw.wfnetreduction.algorithms.
ContractionLog
getResult()
- Method in class pl.mimuw.wfnetreduction.algorithms.
ContractionLog
getResultSize()
- Method in class pl.mimuw.wfnetreduction.algorithms.
ContractionLog
getStrings()
- Method in class pl.mimuw.wfnetreduction.algorithms.
ContractionLog
getSuccSuccPlaces(Petrinet, Place)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
getSuccSuccTransitions(Petrinet, Transition)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
getYourInteger()
- Method in class pl.mimuw.wfnetreduction.parameters.
WFNetReductionParameters
getYourString()
- Method in class pl.mimuw.wfnetreduction.parameters.
WFNetReductionParameters
H
hasNext()
- Method in class pl.mimuw.wfnetreduction.algorithms.
LazyIterator
I
init(Petrinet)
- Method in class pl.mimuw.wfnetreduction.algorithms.
AndOrReductionAlgorithm
INPUT_PLACEST
- Static variable in class pl.mimuw.wfnetreduction.connections.
WFNetReductionConnection
Label for second input.
isLimitTo11()
- Method in class pl.mimuw.wfnetreduction.parameters.
WFNetReductionParameters
isTryConnections()
- Method in class pl.mimuw.wfnetreduction.parameters.
WFNetReductionParameters
iterableDownstreamPlaces(Petrinet, Place)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
iterableDownstreamTransitions(Petrinet, Transition)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
iterateDownstreamPlaces(Petrinet, Place)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
iterateDownstreamTransitions(Petrinet, Transition)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
iteratePairsOfDownstreamPlacesNaive(Petrinet)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
iteratePairsOfDownstreamPlacesTransitiveClosure(Petrinet)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
iteratePairsOfDownstreamTransitionsNaive(Petrinet)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
iteratePairsOfDownstreamTransitionsTransitiveClosure(Petrinet)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
J
joinMultiinterface(Petrinet, Set<PetrinetNode>, Set<PetrinetNode>, ContractionLog)
- Method in class pl.mimuw.wfnetreduction.algorithms.
AndOrReductionAlgorithm
L
LazyIterator
<
E
> - Class in
pl.mimuw.wfnetreduction.algorithms
M
map(Function<E, E>)
- Method in class pl.mimuw.wfnetreduction.algorithms.
LazyIterator
mergeLoops(Petrinet, Set<PetrinetNode>, Set<PetrinetNode>, ContractionLog)
- Method in class pl.mimuw.wfnetreduction.algorithms.
AndOrReductionAlgorithm
N
next()
- Method in class pl.mimuw.wfnetreduction.algorithms.
LazyIterator
nextStep()
- Method in class pl.mimuw.wfnetreduction.algorithms.
ContractionLog
nextStep(Petrinet)
- Method in class pl.mimuw.wfnetreduction.algorithms.
ContractionLog
O
OUTPUT_PLACEST
- Static variable in class pl.mimuw.wfnetreduction.connections.
WFNetReductionConnection
Label for third input.
P
PETRI_NET
- Static variable in class pl.mimuw.wfnetreduction.connections.
WFNetReductionConnection
Label for first input.
PetrinetHelper
- Class in
pl.mimuw.wfnetreduction.algorithms
PetrinetHelper()
- Constructor for class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
PetrinetVisualization2
- Class in
pl.mimuw.wfnetreduction.plugins
This plugin visualizes information about a ContractionLog.
PetrinetVisualization2()
- Constructor for class pl.mimuw.wfnetreduction.plugins.
PetrinetVisualization2
pl.mimuw.wfnetreduction.algorithms
- package pl.mimuw.wfnetreduction.algorithms
pl.mimuw.wfnetreduction.connections
- package pl.mimuw.wfnetreduction.connections
pl.mimuw.wfnetreduction.dialogs
- package pl.mimuw.wfnetreduction.dialogs
pl.mimuw.wfnetreduction.help
- package pl.mimuw.wfnetreduction.help
pl.mimuw.wfnetreduction.models
- package pl.mimuw.wfnetreduction.models
pl.mimuw.wfnetreduction.parameters
- package pl.mimuw.wfnetreduction.parameters
pl.mimuw.wfnetreduction.plugins
- package pl.mimuw.wfnetreduction.plugins
println(String)
- Method in class pl.mimuw.wfnetreduction.algorithms.
ContractionLog
println(Triple<Petrinet, Set<PetrinetNode>, Set<PetrinetNode>>)
- Method in class pl.mimuw.wfnetreduction.algorithms.
ContractionLog
R
REDUCTION_RESULT
- Static variable in class pl.mimuw.wfnetreduction.connections.
WFNetReductionConnection
Label for output.
runDefault(PluginContext, Petrinet, Marking)
- Method in class pl.mimuw.wfnetreduction.plugins.
AndOrReductionPlugin
The plug-in variant that runs in any context and uses the default parameters.
runDefault(PluginContext, Petrinet, Marking)
- Method in class pl.mimuw.wfnetreduction.plugins.
AndOrReductionPlugin11
The plug-in variant that runs in any context and uses the default parameters.
S
setLimitTo11(boolean)
- Method in class pl.mimuw.wfnetreduction.parameters.
WFNetReductionParameters
setResult(boolean)
- Method in class pl.mimuw.wfnetreduction.algorithms.
ContractionLog
setYourInteger(int)
- Method in class pl.mimuw.wfnetreduction.parameters.
WFNetReductionParameters
setYourString(String)
- Method in class pl.mimuw.wfnetreduction.parameters.
WFNetReductionParameters
storeResultNetToFile(String)
- Method in class pl.mimuw.wfnetreduction.algorithms.
ContractionLog
T
TEXT
- Static variable in class pl.mimuw.wfnetreduction.help.
WFReductionHelp
toString()
- Method in class pl.mimuw.wfnetreduction.algorithms.
ContractionLog
toString(Petrinet)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
toString(Triple<Petrinet, Set<PetrinetNode>, Set<PetrinetNode>>)
- Static method in class pl.mimuw.wfnetreduction.algorithms.
PetrinetHelper
toString()
- Method in class pl.mimuw.wfnetreduction.parameters.
WFNetReductionParameters
V
visualize(PluginContext, ContractionLog)
- Method in class pl.mimuw.wfnetreduction.plugins.
PetrinetVisualization2
visualize(PluginContext, ContractionLog, Marking)
- Method in class pl.mimuw.wfnetreduction.plugins.
PetrinetVisualization2
visualizeWithAll(PluginContext, ContractionLog, Marking)
- Method in class pl.mimuw.wfnetreduction.plugins.
PetrinetVisualization2
W
WFNetReductionConnection
- Class in
pl.mimuw.wfnetreduction.connections
WFNetReductionConnection(Petrinet, Set<PetrinetNode>, Set<PetrinetNode>, String, WFNetReductionParameters)
- Constructor for class pl.mimuw.wfnetreduction.connections.
WFNetReductionConnection
Create a connection.
WFNetReductionParameters
- Class in
pl.mimuw.wfnetreduction.parameters
WFNetReductionParameters(Petrinet, Set<PetrinetNode>, Set<PetrinetNode>)
- Constructor for class pl.mimuw.wfnetreduction.parameters.
WFNetReductionParameters
WFNetReductionParameters(WFNetReductionParameters)
- Constructor for class pl.mimuw.wfnetreduction.parameters.
WFNetReductionParameters
WFReductionHelp
- Class in
pl.mimuw.wfnetreduction.help
WFReductionHelp()
- Constructor for class pl.mimuw.wfnetreduction.help.
WFReductionHelp
Y
YourDialog
- Class in
pl.mimuw.wfnetreduction.dialogs
YourDialog(UIPluginContext, YourFirstInput, YourSecondInput, WFNetReductionParameters)
- Constructor for class pl.mimuw.wfnetreduction.dialogs.
YourDialog
The JPanel that allows the user to set (a subset of) the parameters.
YourFirstInput
- Class in
pl.mimuw.wfnetreduction.models
YourFirstInput()
- Constructor for class pl.mimuw.wfnetreduction.models.
YourFirstInput
YourOutput
- Class in
pl.mimuw.wfnetreduction.models
YourOutput(YourFirstInput)
- Constructor for class pl.mimuw.wfnetreduction.models.
YourOutput
YourOutput(YourSecondInput)
- Constructor for class pl.mimuw.wfnetreduction.models.
YourOutput
YourSecondInput
- Class in
pl.mimuw.wfnetreduction.models
YourSecondInput()
- Constructor for class pl.mimuw.wfnetreduction.models.
YourSecondInput
A
C
E
F
G
H
I
J
L
M
N
O
P
R
S
T
V
W
Y
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes