Uses of Interface
org.processmining.poemsconformancecheckingforbpmn.models.execution.Marking

Packages that use Marking

Package	Description
org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph
org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.analyzer
org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.stochastic.analyzer
org.processmining.poemsconformancecheckingforbpmn.models.bpmn.execution.marking

Uses of Marking in org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph

Methods in org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph with type parameters of type Marking

Modifier and Type	Method	Description
static <M extends Marking<?>> java.util.Set<M>	ReachabilityGraphUtils.getAscendants(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph, java.util.Collection<M> startMarkings, java.lang.Class<M> clazz)
static <M extends Marking<?>> java.util.Set<M>	ReachabilityGraphUtils.getDeadlockMarkings(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph, java.lang.Class<M> clazz)
static <M extends Marking<?>> java.util.Set<M>	ReachabilityGraphUtils.getFinalMarkings(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph, java.lang.Class<M> clazz)
static <M extends Marking<?>> M	ReachabilityGraphUtils.getInitialMarking(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg, java.lang.Class<M> clazz)
static <M extends Marking<?>> org.processmining.models.graphbased.directed.transitionsystem.State	ReachabilityGraphUtils.getInitialState(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph rg, java.lang.Class<M> clazz)
static <M extends Marking<?>> java.util.Set<M>	ReachabilityGraphUtils.getMarkingsWithNoOptionToComplete(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph, java.lang.Class<M> clazz)
static <E,M extends Marking<E>> java.util.Set<M>	ReachabilityGraphUtils.getMarkingsWithOptionToComplete(org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph reachabilityGraph, java.lang.Class<M> clazz)

Uses of Marking in org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.analyzer

Classes in org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.analyzer with type parameters of type Marking

Modifier and Type	Interface	Description
interface	ReachabilityGraphStaticAnalysis<M extends Marking<?>>
class	ReachabilityGraphStaticAnalysisDTO<M extends Marking<?>>
interface	ReachabilityGraphStaticAnalyzer<M extends Marking<?>>
class	ReachabilityGraphStaticAnalyzerImpl<M extends Marking<?>>

Methods in org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.analyzer with type parameters of type Marking

Modifier and Type	Method	Description
static <M extends Marking<?>> ReachabilityGraphStaticAnalyzer<M>	ReachabilityGraphStaticAnalyzer.getInstance(java.lang.Class<M> clazz)

Uses of Marking in org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.stochastic.analyzer

Classes in org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.stochastic.analyzer with type parameters of type Marking

Modifier and Type	Interface	Description
interface	StochasticReachabilityGraphStaticAnalysis<M extends Marking<?>>
class	StochasticReachabilityGraphStaticAnalysisDTO<M extends Marking<?>>
interface	StochasticReachabilityGraphStaticAnalyzer<M extends Marking<?>>
class	StochasticReachabilityGraphStaticAnalyzerImpl<M extends Marking<?>>

Methods in org.processmining.poemsconformancecheckingforbpmn.algorithms.inputs.reachability_graph.stochastic.analyzer with type parameters of type Marking

Modifier and Type	Method	Description
static <M extends Marking<?>> StochasticReachabilityGraphStaticAnalyzer<M>	StochasticReachabilityGraphStaticAnalyzer.getInstance(java.lang.Class<M> clazz)

Uses of Marking in org.processmining.poemsconformancecheckingforbpmn.models.bpmn.execution.marking

Subinterfaces of Marking in org.processmining.poemsconformancecheckingforbpmn.models.bpmn.execution.marking

Modifier and Type	Interface	Description
interface	BpmnMarking

Classes in org.processmining.poemsconformancecheckingforbpmn.models.bpmn.execution.marking that implement Marking

Modifier and Type	Class	Description
class	MultisetBpmnMarking