Skip navigation links
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