All Classes Interface Summary Class Summary Enum Summary Exception Summary
| Class |
Description |
| Activity2IndexKey |
|
| AKPFactoryArraySimple |
A factory for an AKP solver that represents the tree with an array and does a
complete comparison between surplus sources and deficit targets in each step.
|
| AKPSolverArraySimple |
A class which performs the AKP algorithm on an array representation of the
tree.
|
| AKPSolverArraySimpleImprov |
A class which performs the AKP algorithm on an array representation of the tree.
|
| AStarSetupPartialOrdervsPartialOrder |
|
| AStarSetupTotalOrdervsPartialOrder |
|
| BuildTree |
Utility class that builds the dual feasible AKP initial tree from a given
instance.
|
| ComputeReallocationMatrix |
|
| ComputeReallocationMatrix2 |
|
| ComputeStochasticTraceAlignments |
|
| CreateLPsolveProblem |
|
| DeficitTargetIterator |
A class used for iterating over possible deficit targets.
|
| DistanceMatrix<A extends Order,B extends Order> |
|
| DistanceMatrix2String |
|
| DistanceMatrixAbstract<A extends Order,B extends Order> |
|
| DistanceMatrixNormalisedLevenshtein |
|
| DistanceMatrixPartialCertainVsPartialCertainLevenshtein |
|
| DistanceMatrixPartialUncertainVsPartialCertainLevenshteinBest |
|
| DistanceMatrixPartialUncertainVsPartialCertainLevenshteinWorst |
|
| DistanceMatrixThresholds |
|
| DistanceMatrixTotalVsPartialCertainLevenshtein |
|
| EarthMoversStochasticConformancePartialOrderPlugin |
|
| EarthMoversStochasticConformancePlugin |
|
| EarthMoversStochasticConformanceUnitDistance |
|
| EfficientStochasticPetriNetSemantics |
|
| EfficientStochasticPetriNetSemanticsImpl |
Adapted from EfficientPetrinetSemanticsImpl by Felix Mannhardt and Bas van
Zelst.
|
| EMSCDialogLogLog |
|
| EMSCDialogLogModel |
|
| EMSCDialogLogModelPartialOrder |
|
| EMSCDialogModelModel |
|
| EMSCDialogModelModelPartialOrder |
|
| EMSCLogDfgVisualisationPlugin |
|
| EMSCLogVisualisationPlugin |
|
| EMSCModelVisualisationPlugin |
|
| EMSCParameters<A extends Order,B extends Order> |
|
| EMSCParametersAbstract<A extends Order,B extends Order> |
|
| EMSCParametersBounds<A extends Order,B extends Order> |
|
| EMSCParametersDefault |
|
| EMSCParametersLogLog |
|
| EMSCParametersLogLogAbstract |
|
| EMSCParametersLogLogDefault |
|
| EMSCParametersLogModel |
|
| EMSCParametersLogModelAbstract |
|
| EMSCParametersLogModelDefault |
|
| EMSCParametersLogModelPartial<A extends Order,B extends Order> |
|
| EMSCParametersLogModelPartialAbstract<A extends Order,B extends PartialOrder> |
|
| EMSCParametersLogPartialUncertainModelPartialCertainDefault |
|
| EMSCParametersLogTotalModelPartialCertainDefault |
|
| EMSCParametersModelModel |
|
| EMSCParametersModelModelAbstract |
|
| EMSCParametersModelModelDefault |
|
| EMSCParametersModelModelPartial<A extends PartialOrder,B extends PartialOrder> |
|
| EMSCParametersModelModelPartialAbstract<A extends PartialOrder,B extends PartialOrder> |
|
| EMSCParametersModelPartialCertainModelPartialCertainDefault |
|
| EMSCPartialOrderResult |
|
| EMSCVisualisationPlugin |
|
| GetStochasticLanguage |
Yes, this is the ugliest code you've ever seen.
|
| HashBackedPriorityQueue<T> |
Adapted implementation of the HashBackedPriorityQueue by bvdongen to support generics.
|
| HashMapLinearProbing<Key,Value> |
The HashMapLinearProbing class represents a symbol table of generic
key-value pairs.
|
| IIteratorConcurrent |
Iterate over all possible concurrent steps of this iterator.
|
| IIteratorOneTrace |
|
| IIteratorPermutations |
|
| IIteratorSequence |
|
| InitTreeArrayStruct |
Container used to pass the initial tree to the solver.
|
| LanguageGenerationStrategyFromModel |
|
| LanguageGenerationStrategyFromModelAbstract |
|
| LanguageGenerationStrategyFromModelDefault |
|
| LanguageGenerationStrategyFromModelPartialOrder |
|
| LanguageGenerationStrategyFromModelPartialOrderImpl |
|
| Levenshtein |
*
|
| MaximalIndependentSets |
|
| Order |
|
| PartialOrder |
|
| PartialOrder2String |
|
| PartialOrder2TotalOrders |
|
| PartialOrder2TotalOrders.IIterable |
|
| PartialOrder2TotalOrders.IIterator |
|
| PartialOrderCertain |
|
| PartialOrderCountTotalOrders |
|
| PartialOrderPartialOrderState |
|
| PartialOrderPath2Trace |
Project a partial order on its activities (thus also removing silent
transitions)
|
| PartialOrderSequenceCut |
|
| PartialOrderSplit |
|
| PartialOrderUncertain |
|
| PartialOrderUtils |
Idea: store the constraints of a partial order in an int array.
|
| PartialOrderXorCut |
It's a xor cut in Inductive Miner, and for a partial order it's a concurrent
cut.
|
| PrefixProbabilityMarking |
|
| QueueCombination |
|
| ReallocationMatrix |
|
| ReallocationMatrix2String |
|
| SolverFactory<T> |
An abstract class that contains basic functionality every class that sets up
a solver needs.
|
| StochasticLanguage<A> |
|
| StochasticLanguage2String |
|
| StochasticLanguageNormalise |
|
| StochasticLanguagePartialOrderUncertain |
|
| StochasticLanguageUtils |
|
| StochasticNet2StochasticLabelledPetriNet |
|
| StochasticPath |
|
| StochasticPath2String |
|
| StochasticPathImpl |
|
| StochasticPathIterator<O> |
|
| StochasticPathLanguage<A> |
|
| StochasticPathLanguage2String |
|
| StochasticPathLanguageImpl<A> |
A stochastic path is a list of transitions.
|
| StochasticPathLanguagePartialOrderImpl |
|
| StochasticPetrinet2StochasticLanguagePartialOrder |
Assumption: the net is stochastically sound and safe.
|
| StochasticPetriNet2StochasticPathLanguage |
Use multithreading and byte storage
|
| StochasticPetriNetUtils |
|
| StochasticPetriNetUtils.PetriNetCache |
|
| StochasticTraceAlignment<L,M> |
|
| StochasticTraceAlignmentImpl<L,M> |
|
| StochasticTraceAlignments<L,M> |
|
| StochasticTraceAlignments.StochasticTraceAlignmentIterator<L,M> |
|
| StochasticTraceAlignmentsAbstract<L,M> |
|
| StochasticTraceAlignmentsLogDfgVisualisation |
|
| StochasticTraceAlignmentsLogLog |
Wrapper class as ProM does not support generics.
|
| StochasticTraceAlignmentsLogModel |
Wrapper class as ProM does not support generics.
|
| StochasticTraceAlignmentsLogProjection |
|
| StochasticTraceAlignmentsLogProjectionImpl |
|
| StochasticTraceAlignmentsLogProjectionImpl.Which |
|
| StochasticTraceAlignmentsLogProjectionSorted |
|
| StochasticTraceAlignmentsLogVisualisation |
|
| StochasticTraceAlignmentsLogVisualisationTrace |
This class renders an aligned trace for a JList or similar.
|
| StochasticTraceAlignmentsLogVisualisationTraceComponent |
Class to visualise a stochastic aligned trace.
|
| StochasticTraceAlignmentsModelModel |
Wrapper class as ProM does not support generics.
|
| StochasticTraceAlignmentsModelProjection |
|
| StochasticTraceAlignmentsModelProjectionImpl |
|
| StochasticTraceAlignmentsModelVisualisation |
|
| StochasticTraceAlignmentsParametersLogLogAbstract |
|
| StochasticTraceAlignmentsParametersLogLogDefault |
|
| StochasticTraceIterator<O> |
|
| StochasticTransition |
|
| StochasticTransition2IndexKey |
|
| StructInitEPSA |
|
| SymbolicNumber |
if it doesn't run locally, ask Wolfram
|
| TotalOrder |
|
| TotalOrder2String |
|
| TotalOrderPartialOrderState |
|
| TotalOrderUtils |
Idea: state denotes the next activity to be executed.
|
| Transition2LabelMap |
|
| TransposedDistanceMatrixWrapper<A extends Order,B extends Order> |
|
| Tree |
Tree representation of a basic solution according to M.S.
|
| TreeIterator |
Class used to iterate over a given subtree.
|
| uEMSCParameters |
|
| uEMSCParametersAbstract |
|
| uEMSCParametersDefault |
|
| uEMSCParametersLogLog |
|
| uEMSCParametersLogLogAbstract |
|
| UnboundedModelException |
|
| UnitEarthMoversStochasticConformancePlugin |
|
| XLog2StochasticLanguage |
|
| XLog2StochasticLanguagePartialOrder |
|
| XLog2StochasticLanguagePartialOrderEqualTimestamp |
Create partial orders from a log.
|