- AcceptingPetriNet2automaton - Class in org.processmining.projectedrecallandprecision.helperclasses
-
- AcceptingPetriNet2automaton() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.AcceptingPetriNet2automaton
-
- AcceptingPetriNetMarkingSet - Class in org.processmining.projectedrecallandprecision.helperclasses
-
Packs several markings (byte[]) into a single byte[], while keeping them
sorted for easy comparison.
- AcceptingPetriNetMarkingSet() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.AcceptingPetriNetMarkingSet
-
- AcceptingPetriNetProject - Class in org.processmining.projectedrecallandprecision.helperclasses
-
- AcceptingPetriNetProject() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.AcceptingPetriNetProject
-
- accepts(DFA, short[]) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAOperations
-
- accepts(short[]) - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.RunAutomaton2
-
- add(CharSequence) - Method in class dk.brics.automaton2.StringUnionOperations
-
Add another character sequence to this automaton.
- add(byte[], byte[]) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.AcceptingPetriNetMarkingSet
-
- add(int[], int, int) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePairSet
-
- addAll(byte[], byte[]) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.AcceptingPetriNetMarkingSet
-
- addEdge(int, short, int) - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
Add an edge to the graph.
- addEdge(int, short) - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
Adds an edge to the graph.
- addEdge(int, short, int) - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- addEdge(int, short) - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- addEpsilons(Collection<StatePair>, ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See BasicOperations#addEpsilons(Automaton, Collection)
.
- addEpsilons(Automaton, Set<StatePair>, ProMCanceller) - Static method in class dk.brics.automaton2.BasicOperations
-
Adds epsilon transitions to the given automaton.
- addEpsilons2(Automaton, Collection<StatePair>, ProMCanceller) - Static method in class dk.brics.automaton2.BasicOperations
-
Try a different strategy: keep copying traces until everything
stabilises.
- addTrace(DFA, short[], ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAOperations
-
Adds the trace to the automaton in a branching manner, such that the
automaton accepts the trace.
- addTrace(XTrace, XEventClassifier) - Method in class org.processmining.projectedrecallandprecision.helperclasses.EfficientLog
-
- addTraceToAutomaton(RunAutomaton2, DFA, EfficientLog, int, short[], ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.framework.LogModelFramework
-
Add trace to log automaton and returns whether the trace can be replayed
on the model.
- addTransition(Transition) - Method in class dk.brics.automaton2.State
-
Adds an outgoing transition.
- ALL - Static variable in class dk.brics.automaton2.RegExp
-
Syntax flag, enables all optional regexp syntax.
- alreadyVisited(int) - Method in class dk.brics.automaton2.State
-
- ANYSTRING - Static variable in class dk.brics.automaton2.RegExp
-
Syntax flag, enables anystring (@).
- aPairIsBothAccepting(DFA, DFA, int[]) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePairSet
-
- apply(M, EfficientLog, CompareParameters, ProMCanceller) - Method in class org.processmining.projectedrecallandprecision.framework.LogModelFramework
-
- apply(S, M, CompareParameters, ProMCanceller) - Method in class org.processmining.projectedrecallandprecision.framework.ModelModelFramework
-
- automata - Static variable in class org.processmining.projectedrecallandprecision.helperclasses.automata.testAutomatonBasic
-
- Automaton - Class in dk.brics.automaton2
-
Finite-state automaton with regular expression operations.
- Automaton() - Constructor for class dk.brics.automaton2.Automaton
-
Constructs a new automaton that accepts the empty language.
- AUTOMATON - Static variable in class dk.brics.automaton2.RegExp
-
Syntax flag, enables named automata
(<identifier>).
- Automaton2Concatenate - Class in org.processmining.projectedrecallandprecision.helperclasses.automata.operations
-
- Automaton2Concatenate() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Concatenate
-
- Automaton2Conjunction - Class in org.processmining.projectedrecallandprecision.helperclasses.automata.operations
-
- Automaton2Conjunction() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Conjunction
-
- Automaton2Minimise - Class in org.processmining.projectedrecallandprecision.helperclasses.automata.operations
-
- Automaton2Minimise() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Minimise
-
- Automaton2Repeat - Class in org.processmining.projectedrecallandprecision.helperclasses.automata.operations
-
- Automaton2Repeat() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Repeat
-
- Automaton2Shuffle - Class in org.processmining.projectedrecallandprecision.helperclasses.automata.operations
-
- Automaton2Shuffle() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Shuffle
-
- Automaton2Union - Class in org.processmining.projectedrecallandprecision.helperclasses.automata.operations
-
- Automaton2Union() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Union
-
- AutomatonFailedException - Exception in org.processmining.projectedrecallandprecision.helperclasses
-
- AutomatonFailedException(String) - Constructor for exception org.processmining.projectedrecallandprecision.helperclasses.AutomatonFailedException
-
- AutomatonMatcher - Class in dk.brics.automaton2
-
A tool that performs match operations on a given character sequence using
a compiled automaton.
- AutomatonProvider - Interface in dk.brics.automaton2
-
- check(boolean, String) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.testAutomaton
-
- clone() - Method in class dk.brics.automaton2.Automaton
-
Returns a clone of this automaton.
- clone() - Method in class dk.brics.automaton2.Transition
-
Clones this transition.
- clone() - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- comparator - Static variable in interface org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResult
-
- compareAutomata(DFA, DFA, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.framework.ModelModelFramework
-
- CompareLog2EfficientTreePlugin - Class in org.processmining.projectedrecallandprecision.plugins
-
- CompareLog2EfficientTreePlugin() - Constructor for class org.processmining.projectedrecallandprecision.plugins.CompareLog2EfficientTreePlugin
-
- CompareLog2PetriNet - Class in org.processmining.projectedrecallandprecision.framework
-
- CompareLog2PetriNet() - Constructor for class org.processmining.projectedrecallandprecision.framework.CompareLog2PetriNet
-
- CompareLog2PetriNetPlugin - Class in org.processmining.projectedrecallandprecision.plugins
-
- CompareLog2PetriNetPlugin() - Constructor for class org.processmining.projectedrecallandprecision.plugins.CompareLog2PetriNetPlugin
-
- CompareLog2PetriNetPluginScaledLogPrecision - Class in org.processmining.projectedrecallandprecision.plugins
-
- CompareLog2PetriNetPluginScaledLogPrecision() - Constructor for class org.processmining.projectedrecallandprecision.plugins.CompareLog2PetriNetPluginScaledLogPrecision
-
- CompareLog2ProcessTree - Class in org.processmining.projectedrecallandprecision.framework
-
- CompareLog2ProcessTree() - Constructor for class org.processmining.projectedrecallandprecision.framework.CompareLog2ProcessTree
-
- CompareLog2ProcessTreePlugin - Class in org.processmining.projectedrecallandprecision.plugins
-
- CompareLog2ProcessTreePlugin() - Constructor for class org.processmining.projectedrecallandprecision.plugins.CompareLog2ProcessTreePlugin
-
- CompareLog2ProcessTreePluginScaledLogPrecision - Class in org.processmining.projectedrecallandprecision.plugins
-
- CompareLog2ProcessTreePluginScaledLogPrecision() - Constructor for class org.processmining.projectedrecallandprecision.plugins.CompareLog2ProcessTreePluginScaledLogPrecision
-
- CompareParameters - Class in org.processmining.projectedrecallandprecision.framework
-
- CompareParameters(CompareParameters.RecallName) - Constructor for class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- CompareParameters() - Constructor for class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- CompareParameters(int) - Constructor for class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- CompareParameters.RecallName - Enum in org.processmining.projectedrecallandprecision.framework
-
- CompareParametersDialog - Class in org.processmining.projectedrecallandprecision.plugins
-
- CompareParametersDialog(XLog, int, CompareParameters.RecallName) - Constructor for class org.processmining.projectedrecallandprecision.plugins.CompareParametersDialog
-
- ComparePetriNet2PetriNet - Class in org.processmining.projectedrecallandprecision.framework
-
- ComparePetriNet2PetriNet() - Constructor for class org.processmining.projectedrecallandprecision.framework.ComparePetriNet2PetriNet
-
- ComparePetriNet2PetriNetPlugin - Class in org.processmining.projectedrecallandprecision.plugins
-
- ComparePetriNet2PetriNetPlugin() - Constructor for class org.processmining.projectedrecallandprecision.plugins.ComparePetriNet2PetriNetPlugin
-
- CompareProcessTree2ProcessTree - Class in org.processmining.projectedrecallandprecision.framework
-
- CompareProcessTree2ProcessTree() - Constructor for class org.processmining.projectedrecallandprecision.framework.CompareProcessTree2ProcessTree
-
- CompareProcessTree2ProcessTreePlugin - Class in org.processmining.projectedrecallandprecision.plugins
-
- CompareProcessTree2ProcessTreePlugin() - Constructor for class org.processmining.projectedrecallandprecision.plugins.CompareProcessTree2ProcessTreePlugin
-
- compareTo(State) - Method in class dk.brics.automaton2.State
-
Compares this object with the specified object for order.
- complement(ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See BasicOperations#complement(Automaton)
.
- complement(Automaton, ProMCanceller) - Static method in class dk.brics.automaton2.BasicOperations
-
Returns a (deterministic) automaton that accepts the complement of the
language of the given automaton.
- COMPLEMENT - Static variable in class dk.brics.automaton2.RegExp
-
Syntax flag, enables complement (~).
- complete() - Method in class dk.brics.automaton2.StringUnionOperations
-
Finalize the automaton and return the root state.
- compress(String, char, ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See SpecialOperations#compress(Automaton, String, char)
.
- compress(Automaton, String, char, ProMCanceller) - Static method in class dk.brics.automaton2.SpecialOperations
-
Returns an automaton that accepts the compressed language of the given
automaton.
- concatenate(Automaton, ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See BasicOperations#concatenate(Automaton, Automaton)
.
- concatenate(List<Automaton>, ProMCanceller) - Static method in class dk.brics.automaton2.Automaton
-
See BasicOperations#concatenate(List)
.
- concatenate(Automaton, Automaton, ProMCanceller) - Static method in class dk.brics.automaton2.BasicOperations
-
Returns an automaton that accepts the concatenation of the languages of
the given automata.
- concatenate(List<Automaton>, ProMCanceller) - Static method in class dk.brics.automaton2.BasicOperations
-
Returns an automaton that accepts the concatenation of the languages of
the given automata.
- concatenate(List<DFA>, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Concatenate
-
Returns an automaton that accepts the concatenation of the given
automata.
- concatenate(DFA, DFA, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Concatenate
-
- conjunction(DFA, DFA, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Conjunction
-
Returns the conjunction of automaton1 and automaton2.
- contains(byte[], byte[]) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.AcceptingPetriNetMarkingSet
-
- containsFinalMarking(byte[], Iterable<byte[]>) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.AcceptingPetriNetMarkingSet
-
- convert(AcceptingPetriNet, long, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.AcceptingPetriNet2automaton
-
The ReachabilityGraph class of ProM gives errors.
- convert(EfficientTree, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.Tree2Automaton
-
- create(byte[]) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.AcceptingPetriNetMarkingSet
-
- create(int, int) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePairSet
-
- createAutomaton() - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAFactory
-
- generateHtml(ProjectedRecallPrecisionResult, boolean) - Static method in class org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionVisualiserTable
-
- get(String) - Static method in class dk.brics.automaton2.Datatypes
-
Returns pre-built automaton.
- getAcceptingStates() - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
- getAcceptingStates() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- getAcceptStates() - Method in class dk.brics.automaton2.Automaton
-
Returns the set of reachable accept states.
- getActivities() - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
- getActivities() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- getActivities() - Method in class org.processmining.projectedrecallandprecision.helperclasses.EfficientLog
-
- getActivities() - Method in interface org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResult
-
- getActivities() - Method in class org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResultImplBasic
-
- getActivitiesLog(EfficientLog) - Static method in class org.processmining.projectedrecallandprecision.framework.LogModelFramework
-
- getActivitiesModel(AcceptingPetriNet) - Method in class org.processmining.projectedrecallandprecision.framework.CompareLog2PetriNet
-
- getActivitiesModel(EfficientTree) - Method in class org.processmining.projectedrecallandprecision.framework.CompareLog2ProcessTree
-
- getActivitiesModel(AcceptingPetriNet) - Method in class org.processmining.projectedrecallandprecision.framework.ComparePetriNet2PetriNet
-
- getActivitiesModel(EfficientTree) - Method in class org.processmining.projectedrecallandprecision.framework.CompareProcessTree2ProcessTree
-
- getActivitiesModel(M) - Method in class org.processmining.projectedrecallandprecision.framework.LogModelFramework
-
- getActivitiesModel(M) - Method in class org.processmining.projectedrecallandprecision.framework.ModelModelFramework
-
- getActivitiesPetriNet(Petrinet) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.AcceptingPetriNetProject
-
- getActivitiesSystem(AcceptingPetriNet) - Method in class org.processmining.projectedrecallandprecision.framework.ComparePetriNet2PetriNet
-
- getActivitiesSystem(EfficientTree) - Method in class org.processmining.projectedrecallandprecision.framework.CompareProcessTree2ProcessTree
-
- getActivitiesSystem(S) - Method in class org.processmining.projectedrecallandprecision.framework.ModelModelFramework
-
- getActivity() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList.EdgeIterableOutgoing
-
- getActivity() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePairEdgesIterator
-
- getAutomaton(String) - Method in interface dk.brics.automaton2.AutomatonProvider
-
Returns automaton of the given name.
- getAutomaton(String) - Method in class dk.brics.automaton2.DatatypesAutomatonProvider
-
- getCharIntervals() - Method in class dk.brics.automaton2.RunAutomaton
-
Returns array of character class interval start points.
- getClassifier() - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- getCommonPrefix() - Method in class dk.brics.automaton2.Automaton
-
- getCommonPrefix(Automaton) - Static method in class dk.brics.automaton2.SpecialOperations
-
Returns the longest string that is a prefix of all accepted strings and
visits each state at most once.
- getDebugEvery() - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- getDest() - Method in class dk.brics.automaton2.Transition
-
Returns destination of this transition.
- getExtremeCardinalities() - Method in class org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionAlignedLogVisualisation
-
- getFiniteStrings() - Method in class dk.brics.automaton2.Automaton
-
- getFiniteStrings(int) - Method in class dk.brics.automaton2.Automaton
-
- getFiniteStrings(Automaton) - Static method in class dk.brics.automaton2.SpecialOperations
-
Returns the set of accepted strings, assuming this automaton has a finite
language.
- getFiniteStrings(Automaton, int) - Static method in class dk.brics.automaton2.SpecialOperations
-
Returns the set of accepted strings, assuming that at most
limit
strings are accepted.
- getFirstState() - Method in class dk.brics.automaton2.StatePair
-
Returns first component of this pair.
- getId() - Method in class dk.brics.automaton2.State
-
- getIdentifiers() - Method in class dk.brics.automaton2.RegExp
-
Returns set of automaton identifiers that occur in this regular
expression.
- getInfo() - Method in class dk.brics.automaton2.Automaton
-
Returns extra information associated with this automaton.
- getInitialState() - Method in class dk.brics.automaton2.Automaton
-
Gets initial state.
- getInitialState() - Method in class dk.brics.automaton2.RunAutomaton
-
Returns initial state.
- getInitialState() - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
- getInitialState() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- getK() - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- getK() - Method in interface org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResult
-
- getK() - Method in class org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResultImplBasic
-
- getLiveStates() - Method in class dk.brics.automaton2.Automaton
-
Returns the set of live states.
- getLiveStates(DFA) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAOperations
-
- getMarkings(byte[]) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.AcceptingPetriNetMarkingSet
-
- getMax() - Method in class dk.brics.automaton2.Transition
-
Returns maximum of this transition interval.
- getMaxStatesReachabilityGraph() - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- getMin() - Method in class dk.brics.automaton2.Transition
-
Returns minimum of this transition interval.
- getMiningParameters() - Method in class org.processmining.projectedrecallandprecision.plugins.CompareParametersDialog
-
- getModel() - Method in interface org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResult
-
- getModel() - Method in class org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResultImplBasic
-
- getNodeA() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePairSet.StatePairIterator
-
- getNodeB() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePairSet.StatePairIterator
-
- getNodeLabel(int, boolean) - Method in class org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionAlignedLogVisualisation
-
- getNumberOfFailedMeasures() - Method in interface org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResult
-
- getNumberOfFailedMeasures() - Method in class org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResultImplBasic
-
- getNumberOfStates() - Method in class dk.brics.automaton2.Automaton
-
Returns the number of states in this automaton.
- getNumberOfStates() - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
- getNumberOfStates() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- getNumberOfTransitions() - Method in class dk.brics.automaton2.Automaton
-
Returns the number of transitions in this automaton.
- getOr(DFA, DFA, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.Tree2Automaton
-
- getOutgoingEdgesIterator(int) - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
Get an iterator over the outgoing edges of a state.
- getOutgoingEdgesIterator(int) - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- getPrecision(String...) - Method in interface org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResult
-
- getPrecision(String...) - Method in class org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResultImplBasic
-
- getProjectedActivity(int, int, short[]) - Method in class org.processmining.projectedrecallandprecision.helperclasses.EfficientLog
-
Given a projection key, returns the projected activity at the given
position.
- getProjectedTrace(int, short[]) - Method in class org.processmining.projectedrecallandprecision.helperclasses.EfficientLog
-
- getProjectionKey(String...) - Method in class org.processmining.projectedrecallandprecision.helperclasses.EfficientLog
-
- getReachableStates(DFA) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAOperations
-
- getRecall(String...) - Method in interface org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResult
-
- getRecall(String...) - Method in class org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResultImplBasic
-
- getRecallName() - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- getRecallName() - Method in interface org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResult
-
- getRecallName() - Method in class org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResultImplBasic
-
- getSecondState() - Method in class dk.brics.automaton2.StatePair
-
Returns second component of this pair.
- getShortestExample(boolean) - Method in class dk.brics.automaton2.Automaton
-
- getShortestExample(Automaton, boolean) - Static method in class dk.brics.automaton2.BasicOperations
-
Returns a shortest accepted/rejected string.
- getSingleton() - Method in class dk.brics.automaton2.Automaton
-
Returns the singleton string for this automaton.
- getSize() - Method in class dk.brics.automaton2.RunAutomaton
-
Returns number of states in automaton.
- getSortedTransitions(boolean) - Method in class dk.brics.automaton2.State
-
Returns sorted list of outgoing transitions.
- getSources() - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
- getSources() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- getState() - Method in class dk.brics.automaton2.StatePair
-
- getStates() - Method in class dk.brics.automaton2.Automaton
-
Returns the set of states that are reachable from the initial state.
- getStrings(int) - Method in class dk.brics.automaton2.Automaton
-
- getStrings(Automaton, int) - Static method in class dk.brics.automaton2.SpecialOperations
-
Returns the set of accepted strings of the given length.
- getSystem() - Method in interface org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResult
-
- getSystem() - Method in class org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResultImplBasic
-
- getTarget() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList.EdgeIterableOutgoing
-
- getTargetA() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePairEdgesIterator
-
- getTargetB() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePairEdgesIterator
-
- getTargets() - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
- getTargets() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- getTraceSize(int) - Method in class org.processmining.projectedrecallandprecision.helperclasses.EfficientLog
-
- getTransitions() - Method in class dk.brics.automaton2.State
-
Returns the set of outgoing transitions.
- getTreeReduceParameters() - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- group() - Method in class dk.brics.automaton2.AutomatonMatcher
-
Returns the subsequence of the input found by the previous match.
- group(int) - Method in class dk.brics.automaton2.AutomatonMatcher
-
Returns the subsequence of the input found by the specified capturing
group during the previous match operation.
- groupCount() - Method in class dk.brics.automaton2.AutomatonMatcher
-
Returns the number of capturing groups in the underlying automaton.
- incorporateTrace(short[], ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See BasicOperations#incorporateTrace(Automaton, short[])
.
- incorporateTrace(Automaton, short[], ProMCanceller) - Static method in class dk.brics.automaton2.BasicOperations
-
Incorporate a trace by walking over the automaton and adding a new branch
as necessary.
- initNextPair(int, long) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.ExponentialIteratorThreadSafe
-
Put the combinations in buckets to spread computation.
- intersection(Automaton, ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See BasicOperations#intersection(Automaton, Automaton)
.
- intersection(Automaton, Automaton, ProMCanceller) - Static method in class dk.brics.automaton2.BasicOperations
-
Returns an automaton that accepts the intersection of the languages of
the given automata.
- INTERSECTION - Static variable in class dk.brics.automaton2.RegExp
-
Syntax flag, enables intersection (&).
- INTERVAL - Static variable in class dk.brics.automaton2.RegExp
-
Syntax flag, enables numerical intervals
(<n-m>).
- isAccept(int) - Method in class dk.brics.automaton2.RunAutomaton
-
Returns acceptance status for given state.
- isAccept() - Method in class dk.brics.automaton2.State
-
Returns acceptance status.
- isAccepting(int) - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
- isAccepting(int) - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- isAnyAccepting(DFA, TIntSet) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Repeat
-
- isComputePrecision() - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- isComputeRecallFitness() - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- isDebug() - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- isDeterministic() - Method in class dk.brics.automaton2.Automaton
-
Returns deterministic flag for this automaton.
- isEmpty() - Method in class dk.brics.automaton2.Automaton
-
- isEmpty(Automaton) - Static method in class dk.brics.automaton2.BasicOperations
-
Returns true if the given automaton accepts no strings.
- isEmptyString() - Method in class dk.brics.automaton2.Automaton
-
- isEmptyString(Automaton) - Static method in class dk.brics.automaton2.BasicOperations
-
Returns true if the given automaton accepts the empty string and nothing
else.
- isFinite() - Method in class dk.brics.automaton2.Automaton
-
- isFinite(Automaton) - Static method in class dk.brics.automaton2.SpecialOperations
-
Returns true if the language of this automaton is finite.
- isMultiThreading() - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- isPrecisionComputed() - Method in interface org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResult
-
- isPrecisionComputed() - Method in class org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResultImplBasic
-
- isRecallComputed() - Method in interface org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResult
-
- isRecallComputed() - Method in class org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResultImplBasic
-
- isTotal() - Method in class dk.brics.automaton2.Automaton
-
- isTotal(Automaton) - Static method in class dk.brics.automaton2.BasicOperations
-
Returns true if the given automaton accepts all strings.
- isUnicodeBlockName(String) - Static method in class dk.brics.automaton2.Datatypes
-
- isUnicodeCategoryName(String) - Static method in class dk.brics.automaton2.Datatypes
-
- isWantedCombination(String[]) - Static method in class org.processmining.projectedrecallandprecision.framework.ModelModelFramework
-
- isXMLName(String) - Static method in class dk.brics.automaton2.Datatypes
-
Checks whether the given string is the name of an XML / XML Schema
automaton (see
Datatypes.get(String)
).
- main(String[]) - Static method in class dk.brics.automaton2.Datatypes
-
Invoke during compilation to pre-build automata.
- main(String...) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.testAutomaton
-
- makeAnyChar() - Static method in class dk.brics.automaton2.Automaton
-
- makeAnyChar() - Static method in class dk.brics.automaton2.BasicAutomata
-
Returns a new (deterministic) automaton that accepts any single
character.
- makeAnyString() - Static method in class dk.brics.automaton2.Automaton
-
- makeAnyString() - Static method in class dk.brics.automaton2.BasicAutomata
-
Returns a new (deterministic) automaton that accepts all strings.
- makeChar(char) - Static method in class dk.brics.automaton2.Automaton
-
- makeChar(char) - Static method in class dk.brics.automaton2.BasicAutomata
-
Returns a new (deterministic) automaton that accepts a single character
of the given value.
- makeCharRange(char, char) - Static method in class dk.brics.automaton2.Automaton
-
- makeCharRange(char, char) - Static method in class dk.brics.automaton2.BasicAutomata
-
Returns a new (deterministic) automaton that accepts a single char whose
value is in the given interval (including both end points).
- makeCharSet(String) - Static method in class dk.brics.automaton2.Automaton
-
- makeCharSet(String) - Static method in class dk.brics.automaton2.BasicAutomata
-
Returns a new (deterministic) automaton that accepts a single character
in the given set.
- makeDecimalValue(String) - Static method in class dk.brics.automaton2.Automaton
-
- makeDecimalValue(String) - Static method in class dk.brics.automaton2.BasicAutomata
-
Constructs automaton that accept strings representing the given decimal
number.
- makeEmpty() - Static method in class dk.brics.automaton2.Automaton
-
- makeEmpty() - Static method in class dk.brics.automaton2.BasicAutomata
-
Returns a new (deterministic) automaton with the empty language.
- makeEmptyString() - Static method in class dk.brics.automaton2.Automaton
-
- makeEmptyString() - Static method in class dk.brics.automaton2.BasicAutomata
-
Returns a new (deterministic) automaton that accepts only the empty
string.
- makeFractionDigits(int) - Static method in class dk.brics.automaton2.Automaton
-
- makeFractionDigits(int) - Static method in class dk.brics.automaton2.BasicAutomata
-
Constructs automaton that accept strings representing decimal numbers
that can be written with at most the given number of digits in the
fraction part.
- makeIntegerValue(String) - Static method in class dk.brics.automaton2.Automaton
-
- makeIntegerValue(String) - Static method in class dk.brics.automaton2.BasicAutomata
-
Constructs automaton that accept strings representing the given integer.
- makeInterval(int, int, int) - Static method in class dk.brics.automaton2.Automaton
-
- makeInterval(int, int, int) - Static method in class dk.brics.automaton2.BasicAutomata
-
Returns a new automaton that accepts strings representing decimal
non-negative integers in the given interval.
- makeMaxInteger(String) - Static method in class dk.brics.automaton2.Automaton
-
- makeMaxInteger(String) - Static method in class dk.brics.automaton2.BasicAutomata
-
Constructs automaton that accept strings representing nonnegative
integers that are not larger than the given value.
- makeMinInteger(String) - Static method in class dk.brics.automaton2.Automaton
-
- makeMinInteger(String) - Static method in class dk.brics.automaton2.BasicAutomata
-
Constructs automaton that accept strings representing nonnegative
integers that are not less that the given value.
- makeString(String) - Static method in class dk.brics.automaton2.Automaton
-
- makeString(String) - Static method in class dk.brics.automaton2.BasicAutomata
-
Returns a new (deterministic) automaton that accepts the single given
string.
- makeStringMatcher(String) - Static method in class dk.brics.automaton2.Automaton
-
- makeStringMatcher(String) - Static method in class dk.brics.automaton2.BasicAutomata
-
Constructs deterministic automaton that matches strings that contain the
given substring.
- makeStringUnion(CharSequence...) - Static method in class dk.brics.automaton2.Automaton
-
- makeStringUnion(CharSequence...) - Static method in class dk.brics.automaton2.BasicAutomata
-
Returns a new (deterministic and minimal) automaton that accepts the
union of the given set of strings.
- makeTotalDigits(int) - Static method in class dk.brics.automaton2.Automaton
-
- makeTotalDigits(int) - Static method in class dk.brics.automaton2.BasicAutomata
-
Constructs automaton that accept strings representing decimal numbers
that can be written with at most the given number of digits.
- MapConjunction - Class in org.processmining.projectedrecallandprecision.helperclasses
-
- MapConjunction() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.MapConjunction
-
- mapConjunction(Automaton, Automaton, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.MapConjunction
-
- mapConjunction(DFA, DFA, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.MapConjunction2
-
- MapConjunction2 - Class in org.processmining.projectedrecallandprecision.helperclasses
-
- MapConjunction2() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.MapConjunction2
-
- measure(UIPluginContext, XLog, EfficientTree) - Method in class org.processmining.projectedrecallandprecision.plugins.CompareLog2EfficientTreePlugin
-
- measure(XLog, EfficientTree, CompareParameters, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.plugins.CompareLog2EfficientTreePlugin
-
- measure(EfficientLog, EfficientTree, CompareParameters, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.plugins.CompareLog2EfficientTreePlugin
-
- measure(UIPluginContext, XLog, AcceptingPetriNet) - Method in class org.processmining.projectedrecallandprecision.plugins.CompareLog2PetriNetPlugin
-
- measure(XLog, AcceptingPetriNet, CompareParameters, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.plugins.CompareLog2PetriNetPlugin
-
- measure(EfficientLog, AcceptingPetriNet, CompareParameters, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.plugins.CompareLog2PetriNetPlugin
-
- measure(EfficientLog, EfficientTree, CompareParameters, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.plugins.CompareLog2PetriNetPlugin
-
- measure(UIPluginContext, XLog, AcceptingPetriNet) - Method in class org.processmining.projectedrecallandprecision.plugins.CompareLog2PetriNetPluginScaledLogPrecision
-
- measure(XLog, AcceptingPetriNet, CompareParameters, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.plugins.CompareLog2PetriNetPluginScaledLogPrecision
-
- measure(UIPluginContext, XLog, ProcessTree) - Method in class org.processmining.projectedrecallandprecision.plugins.CompareLog2ProcessTreePlugin
-
- measure(XLog, ProcessTree, CompareParameters) - Static method in class org.processmining.projectedrecallandprecision.plugins.CompareLog2ProcessTreePlugin
-
Deprecated.
- measure(XLog, ProcessTree, CompareParameters, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.plugins.CompareLog2ProcessTreePlugin
-
- measure(UIPluginContext, XLog, ProcessTree) - Method in class org.processmining.projectedrecallandprecision.plugins.CompareLog2ProcessTreePluginScaledLogPrecision
-
- measure(XLog, ProcessTree, CompareParameters, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.plugins.CompareLog2ProcessTreePluginScaledLogPrecision
-
- measure(UIPluginContext, AcceptingPetriNet, AcceptingPetriNet) - Method in class org.processmining.projectedrecallandprecision.plugins.ComparePetriNet2PetriNetPlugin
-
- measure(AcceptingPetriNet, AcceptingPetriNet, CompareParameters, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.plugins.ComparePetriNet2PetriNetPlugin
-
- measure(ProcessTree, ProcessTree, CompareParameters, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.plugins.CompareProcessTree2ProcessTreePlugin
-
- measure(EfficientTree, EfficientTree, CompareParameters, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.plugins.CompareProcessTree2ProcessTreePlugin
-
- measure1automata(UIPluginContext, ProcessTree, ProcessTree) - Method in class org.processmining.projectedrecallandprecision.plugins.CompareProcessTree2ProcessTreePlugin
-
- minimise(DFA, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Minimise
-
Minimise the automaton with the Hopcroft algorithm
- MinimizationOperations - Class in dk.brics.automaton2
-
Operations for minimizing automata.
- minimize(ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See MinimizationOperations#minimize(Automaton)
.
- minimize(Automaton, ProMCanceller) - Static method in class dk.brics.automaton2.Automaton
-
See MinimizationOperations#minimize(Automaton)
.
- minimize(Automaton, ProMCanceller) - Static method in class dk.brics.automaton2.MinimizationOperations
-
Minimizes (and determinizes if not already deterministic) the given
automaton.
- MINIMIZE_BRZOZOWSKI - Static variable in class dk.brics.automaton2.Automaton
-
Minimize using Brzozowski's O(2n) algorithm.
- MINIMIZE_HOPCROFT - Static variable in class dk.brics.automaton2.Automaton
-
Minimize using Hopcroft's O(n log n) algorithm.
- MINIMIZE_HUFFMAN - Static variable in class dk.brics.automaton2.Automaton
-
Minimize using Huffman's O(n2) algorithm.
- minimizeBrzozowski(Automaton, ProMCanceller) - Static method in class dk.brics.automaton2.MinimizationOperations
-
Minimizes the given automaton using Brzozowski's algorithm.
- minimizeHopcroft(Automaton, ProMCanceller) - Static method in class dk.brics.automaton2.MinimizationOperations
-
Minimizes the given automaton using Hopcroft's algorithm.
- minimizeHuffman(Automaton, ProMCanceller) - Static method in class dk.brics.automaton2.MinimizationOperations
-
Minimizes the given automaton using Huffman's algorithm.
- minus(Automaton, ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See BasicOperations#minus(Automaton, Automaton)
.
- minus(Automaton, Automaton, ProMCanceller) - Static method in class dk.brics.automaton2.BasicOperations
-
Returns a (deterministic) automaton that accepts the intersection of the
language of a1
and the complement of the language of
a2
.
- ModelModelFramework<S,M> - Class in org.processmining.projectedrecallandprecision.framework
-
- ModelModelFramework() - Constructor for class org.processmining.projectedrecallandprecision.framework.ModelModelFramework
-
- recallActivity(ProjectedRecallPrecisionResult, StringBuilder, ColourMap) - Static method in class org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionVisualiserTable
-
- recallPair(ProjectedRecallPrecisionResult, StringBuilder, ColourMap) - Static method in class org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionVisualiserTable
-
- recallPrecisionOverActivity(M, EfficientLog, Set<String>, Set<String>, CompareParameters, ProMCanceller, String...) - Method in class org.processmining.projectedrecallandprecision.framework.LogModelFramework
-
- recallPrecisionOverActivity(S, M, Set<String>, Set<String>, CompareParameters, ProMCanceller, String...) - Method in class org.processmining.projectedrecallandprecision.framework.ModelModelFramework
-
Perform the measurement over one n-tuple of activities.
- recallPrecisionOverAllActivities(S, M, CompareParameters, ProMCanceller) - Method in class org.processmining.projectedrecallandprecision.framework.ModelModelFramework
-
Perform the measurement over all activities.
- reduce(ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
Reduces this automaton.
- RegExp - Class in dk.brics.automaton2
-
Regular Expression extension to Automaton
.
- RegExp(String) - Constructor for class dk.brics.automaton2.RegExp
-
Constructs new RegExp
from a string.
- RegExp(String, int) - Constructor for class dk.brics.automaton2.RegExp
-
Constructs new RegExp
from a string.
- remove() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList.EdgeIterableOutgoing
-
- removeDeadStates(DFA) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Minimise
-
Remove the states from which no accepting state can be reached.
- removeDeadTransitions(ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
- removeOutgoingEdgesOf(int) - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
Remove all the outgoing edges of a state.
- removeOutgoingEdgesOf(int) - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- removeStateAndRedirectEdgesTo(int, int) - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
Replace all incoming edges of oldTarget and redirect them to newTarget,
and delete all outgoing edges of oldTarget.
- removeStateAndRedirectEdgesTo(int, int) - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- removeStatesExcept(BitSet) - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
- removeStatesExcept(BitSet) - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- repeat(ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See BasicOperations#repeat(Automaton)
.
- repeat(int, ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See BasicOperations#repeat(Automaton, int)
.
- repeat(int, int, ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See BasicOperations#repeat(Automaton, int, int)
.
- repeat(Automaton, ProMCanceller) - Static method in class dk.brics.automaton2.BasicOperations
-
Returns an automaton that accepts the Kleene star (zero or more
concatenated repetitions) of the language of the given automaton.
- repeat(Automaton, int, ProMCanceller) - Static method in class dk.brics.automaton2.BasicOperations
-
Returns an automaton that accepts min
or more concatenated
repetitions of the language of the given automaton.
- repeat(Automaton, int, int, ProMCanceller) - Static method in class dk.brics.automaton2.BasicOperations
-
Returns an automaton that accepts between min
and
max
(including both) concatenated repetitions of the
language of the given automaton.
- repeat(DFA, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Repeat
-
Constructs a new automaton that accepts any repetition (Kleene star) of
the original automaton.
- replaceWhitespace(Automaton, ProMCanceller) - Static method in class dk.brics.automaton2.Automaton
-
See SpecialOperations#replaceWhitespace(Automaton)
.
- replaceWhitespace(Automaton, ProMCanceller) - Static method in class dk.brics.automaton2.SpecialOperations
-
Constructs automaton that accepts 0x20, 0x9, 0xa, and 0xd in place of
each 0x20 transition in the given automaton.
- reset(int) - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList.EdgeIterableOutgoing
-
Sets the iterator to the beginning of the edges of source.
- reset(StatePair) - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePairEdgesIterator
-
- reset(int[]) - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePairSet.StatePairIterator
-
- restoreInvariant(ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
Restores representation invariant.
- reverse(Automaton) - Static method in class dk.brics.automaton2.SpecialOperations
-
Reverses the language of the given (non-singleton) automaton while
returning the set of new initial states.
- reverseMapping(THashMap<State, Set<State>>, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.MapConjunction
-
- reverseMapping(TIntObjectMap<TIntSet>, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.MapConjunction2
-
- run(String) - Method in class dk.brics.automaton2.Automaton
-
- run(short[]) - Method in class dk.brics.automaton2.Automaton
-
- run(Automaton, String) - Static method in class dk.brics.automaton2.BasicOperations
-
Returns true if the given string is accepted by the automaton.
- run(Automaton, short[]) - Static method in class dk.brics.automaton2.BasicOperations
-
- run(String) - Method in class dk.brics.automaton2.RunAutomaton
-
Returns true if the given string is accepted by this automaton.
- run(short[]) - Method in class dk.brics.automaton2.RunAutomaton
-
Returns true if the given projected trace is accepted by this automaton.
- run(String, int) - Method in class dk.brics.automaton2.RunAutomaton
-
Returns the length of the longest accepted run of the given string
starting at the given offset.
- RunAutomaton - Class in dk.brics.automaton2
-
Finite-state automaton with fast run operation.
- RunAutomaton(Automaton, ProMCanceller) - Constructor for class dk.brics.automaton2.RunAutomaton
-
Constructs a new RunAutomaton
from a deterministic
Automaton
.
- RunAutomaton(Automaton, boolean, ProMCanceller) - Constructor for class dk.brics.automaton2.RunAutomaton
-
Constructs a new RunAutomaton
from a deterministic
Automaton
.
- RunAutomaton2 - Class in org.processmining.projectedrecallandprecision.helperclasses.automata
-
Provides a fast way to evaluate whether the automaton accepts a trace (after
a setup and memory cost).
- RunAutomaton2(DFA, ProMCanceller) - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.automata.RunAutomaton2
-
- set(double, double, String...) - Method in interface org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResult
-
- set(double, double, String...) - Method in class org.processmining.projectedrecallandprecision.result.ProjectedRecallPrecisionResultImplBasic
-
- setAccept(boolean) - Method in class dk.brics.automaton2.State
-
Sets acceptance for this state.
- setAccepting(int, boolean) - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
- setAccepting(int, boolean) - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- setAllowMutate(boolean) - Static method in class dk.brics.automaton2.Automaton
-
Sets or resets allow mutate flag.
- setAllowMutate(boolean) - Method in class dk.brics.automaton2.RegExp
-
Sets or resets allow mutate flag.
- setClassifier(XEventClassifier) - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- setComputePrecision(boolean) - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- setComputeRecallFitness(boolean) - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- setDebug(boolean) - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- setDebugEvery(int) - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- setDeterministic(boolean) - Method in class dk.brics.automaton2.Automaton
-
Sets deterministic flag for this automaton.
- setInfo(Object) - Method in class dk.brics.automaton2.Automaton
-
Associates extra information with this automaton.
- setInitialState(State) - Method in class dk.brics.automaton2.Automaton
-
Sets initial state.
- setK(int) - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- setMaxStatesReachabilityGraph(int) - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- setMinimization(int) - Static method in class dk.brics.automaton2.Automaton
-
Selects minimization algorithm (default: MINIMIZE_HOPCROFT
).
- setMinimizeAlways(boolean) - Static method in class dk.brics.automaton2.Automaton
-
Sets or resets minimize always flag.
- setMultiThreading(boolean) - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- setRecallName(CompareParameters.RecallName) - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- setTreeReduceParameters(EfficientTreeReduceParameters) - Method in class org.processmining.projectedrecallandprecision.framework.CompareParameters
-
- shuffle(Automaton, ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See ShuffleOperations#shuffle(Automaton, Automaton)
.
- shuffle(Automaton, Automaton, ProMCanceller) - Static method in class dk.brics.automaton2.ShuffleOperations
-
Returns an automaton that accepts the shuffle (interleaving) of the
languages of the given automata.
- shuffle(List<DFA>, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Shuffle
-
Returns a new automaton that accepts the shuffle product of automatonA
and automatonB.
- shuffle(DFA, DFA, ProMCanceller) - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.Automaton2Shuffle
-
- ShuffleOperations - Class in dk.brics.automaton2
-
Automata operations involving shuffling.
- shuffleSubsetOf(Collection<Automaton>, Automaton, Character, Character, ProMCanceller) - Static method in class dk.brics.automaton2.Automaton
-
See
ShuffleOperations#shuffleSubsetOf(Collection, Automaton, Character, Character)
.
- shuffleSubsetOf(Collection<Automaton>, Automaton, Character, Character, ProMCanceller) - Static method in class dk.brics.automaton2.ShuffleOperations
-
Returns a string that is an interleaving of strings that are accepted by
ca
but not by a
.
- singleChars(ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See SpecialOperations#singleChars(Automaton)
.
- singleChars(Automaton, ProMCanceller) - Static method in class dk.brics.automaton2.SpecialOperations
-
Returns an automaton that accepts the single chars that occur in strings
that are accepted by the given automaton.
- size() - Method in class org.processmining.projectedrecallandprecision.helperclasses.EfficientLog
-
- SpecialOperations - Class in dk.brics.automaton2
-
Special automata operations.
- start() - Method in class dk.brics.automaton2.AutomatonMatcher
-
Returns the offset of the first character matched.
- start(int) - Method in class dk.brics.automaton2.AutomatonMatcher
-
Returns the offset of the first character matched of the specified
capturing group.
- State - Class in dk.brics.automaton2
-
Automaton state.
- State() - Constructor for class dk.brics.automaton2.State
-
Constructs a new state.
- stateA - Variable in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePair
-
- stateB - Variable in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePair
-
- StatePair - Class in dk.brics.automaton2
-
Pair of states.
- StatePair(State, State) - Constructor for class dk.brics.automaton2.StatePair
-
Constructs a new state pair.
- StatePair - Class in org.processmining.projectedrecallandprecision.helperclasses.automata.operations
-
- StatePair(int, int) - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePair
-
- StatePairEdgesIterator - Class in org.processmining.projectedrecallandprecision.helperclasses.automata.operations
-
- StatePairEdgesIterator(DFA, DFA) - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePairEdgesIterator
-
- StatePairEdgesIterator.MoveType - Enum in org.processmining.projectedrecallandprecision.helperclasses.automata.operations
-
- StatePairIterator() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePairSet.StatePairIterator
-
- StatePairSet - Class in org.processmining.projectedrecallandprecision.helperclasses.automata.operations
-
- StatePairSet() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePairSet
-
- StatePairSet.StatePairIterator - Class in org.processmining.projectedrecallandprecision.helperclasses.automata.operations
-
- step(int, char) - Method in class dk.brics.automaton2.RunAutomaton
-
Returns the state obtained by reading the given char from the given
state.
- step(char) - Method in class dk.brics.automaton2.State
-
Performs lookup in transitions, assuming determinism.
- step(char, Collection<State>) - Method in class dk.brics.automaton2.State
-
Performs lookup in transitions, allowing nondeterminism.
- step(int, short) - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
- step(int, short) - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- store(OutputStream) - Method in class dk.brics.automaton2.Automaton
-
Writes this Automaton
to the given stream.
- store(OutputStream) - Method in class dk.brics.automaton2.RunAutomaton
-
Writes this RunAutomaton
to the given stream.
- StringUnionOperations - Class in dk.brics.automaton2
-
Operations for building minimal deterministic automata from sets of strings.
- StringUnionOperations() - Constructor for class dk.brics.automaton2.StringUnionOperations
-
- subsetOf(Automaton, ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See BasicOperations#subsetOf(Automaton, Automaton)
.
- subsetOf(Automaton, Automaton, ProMCanceller) - Static method in class dk.brics.automaton2.BasicOperations
-
Returns true if the language of a1
is a subset of the
language of a2
.
- subst(Map<Character, Set<Character>>, ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See SpecialOperations#subst(Automaton, Map)
.
- subst(char, String, ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See SpecialOperations#subst(Automaton, char, String)
.
- subst(Automaton, Map<Character, Set<Character>>, ProMCanceller) - Static method in class dk.brics.automaton2.SpecialOperations
-
Returns an automaton where all transition labels have been substituted.
- subst(Automaton, char, String, ProMCanceller) - Static method in class dk.brics.automaton2.SpecialOperations
-
Returns an automaton where all transitions of the given char are replaced
by a string.
- test() - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.testAutomatonBasic
-
- test() - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.testAutomatonFromTree
-
- test() - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.testMarkingSet
-
- test() - Static method in class org.processmining.projectedrecallandprecision.helperclasses.automata.testStatePairSet
-
- testAutomaton - Class in org.processmining.projectedrecallandprecision.helperclasses.automata
-
- testAutomaton() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.automata.testAutomaton
-
- testAutomatonBasic - Class in org.processmining.projectedrecallandprecision.helperclasses.automata
-
- testAutomatonBasic() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.automata.testAutomatonBasic
-
- testAutomatonFromTree - Class in org.processmining.projectedrecallandprecision.helperclasses.automata
-
- testAutomatonFromTree() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.automata.testAutomatonFromTree
-
- testMarkingSet - Class in org.processmining.projectedrecallandprecision.helperclasses.automata
-
- testMarkingSet() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.automata.testMarkingSet
-
- testStatePairSet - Class in org.processmining.projectedrecallandprecision.helperclasses.automata
-
- testStatePairSet() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.automata.testStatePairSet
-
- toAutomaton() - Method in class dk.brics.automaton2.RegExp
-
Constructs new Automaton
from this RegExp
.
- toAutomaton(boolean) - Method in class dk.brics.automaton2.RegExp
-
Constructs new Automaton
from this RegExp
.
- toAutomaton(AutomatonProvider) - Method in class dk.brics.automaton2.RegExp
-
Constructs new Automaton
from this RegExp
.
- toAutomaton(AutomatonProvider, boolean) - Method in class dk.brics.automaton2.RegExp
-
Constructs new Automaton
from this RegExp
.
- toAutomaton(Map<String, Automaton>) - Method in class dk.brics.automaton2.RegExp
-
Constructs new Automaton
from this RegExp
.
- toAutomaton(Map<String, Automaton>, boolean) - Method in class dk.brics.automaton2.RegExp
-
Constructs new Automaton
from this RegExp
.
- toDot() - Method in class dk.brics.automaton2.Automaton
-
- toDot() - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
Returns a dot representation of the automaton.
- toDot() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- toMatchResult() - Method in class dk.brics.automaton2.AutomatonMatcher
-
Returns the current state of this AutomatonMatcher
as a
MatchResult
.
- toString() - Method in class dk.brics.automaton2.Automaton
-
Returns a string representation of this automaton.
- toString() - Method in class dk.brics.automaton2.RegExp
-
Constructs string from parsed regular expression.
- toString() - Method in class dk.brics.automaton2.RunAutomaton
-
Returns a string representation of this automaton.
- toString() - Method in class dk.brics.automaton2.State
-
Returns string describing this state.
- toString() - Method in class dk.brics.automaton2.StatePair
-
- toString() - Method in class dk.brics.automaton2.Transition
-
Returns a string describing this state.
- toString() - Method in interface org.processmining.projectedrecallandprecision.helperclasses.automata.DFA
-
- toString() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.DFAImplEdgeList
-
- toString() - Method in class org.processmining.projectedrecallandprecision.helperclasses.automata.operations.StatePair
-
- traceToString(int) - Method in class org.processmining.projectedrecallandprecision.helperclasses.EfficientLog
-
- traceToString(int, short[]) - Method in class org.processmining.projectedrecallandprecision.helperclasses.EfficientLog
-
- Transition - Class in dk.brics.automaton2
-
Automaton transition.
- Transition(char, State) - Constructor for class dk.brics.automaton2.Transition
-
Constructs a new singleton interval transition.
- Transition(char, char, State) - Constructor for class dk.brics.automaton2.Transition
-
Constructs a new transition.
- Tree2Automaton - Class in org.processmining.projectedrecallandprecision.helperclasses
-
- Tree2Automaton() - Constructor for class org.processmining.projectedrecallandprecision.helperclasses.Tree2Automaton
-
- trees - Static variable in class org.processmining.projectedrecallandprecision.helperclasses.automata.testAutomatonFromTree
-
- trim(String, char, ProMCanceller) - Method in class dk.brics.automaton2.Automaton
-
See SpecialOperations#trim(Automaton, String, char)
.
- trim(Automaton, String, char, ProMCanceller) - Static method in class dk.brics.automaton2.SpecialOperations
-
Returns an automaton that accepts the trimmed language of the given
automaton.