Package org.processmining.stochasticawareconformancechecking.helperclasses

Class Projection

java.lang.Object

org.processmining.stochasticawareconformancechecking.helperclasses.Projection

public class Projection
extends java.lang.Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Projection.ChooseProbability

Constructor Summary

Constructors

Constructor	Description
Projection()

Method Summary

Modifier and Type	Method	Description
static void	process(StochasticDeterministicFiniteAutomatonImpl result, gnu.trove.stack.array.TLongArrayStack worklist, gnu.trove.map.TLongIntMap statePair2conjunctionState, StochasticDeterministicFiniteAutomaton.EdgeIterableOutgoing itA, StochasticDeterministicFiniteAutomaton.EdgeIterableOutgoing itB, int conjunctionSourceState, gnu.trove.map.TShortShortMap AToB, java.math.BigDecimal totalProbability, Projection.ChooseProbability chooseProbability)
static StochasticDeterministicFiniteAutomaton	project(StochasticDeterministicFiniteAutomatonMapped a, StochasticDeterministicFiniteAutomatonMapped b, Projection.ChooseProbability chooseProbability)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Projection

public Projection()

Method Detail

project

public static StochasticDeterministicFiniteAutomaton project(StochasticDeterministicFiniteAutomatonMapped a,
                                                             StochasticDeterministicFiniteAutomatonMapped b,
                                                             Projection.ChooseProbability chooseProbability)

process

public static void process(StochasticDeterministicFiniteAutomatonImpl result,
                           gnu.trove.stack.array.TLongArrayStack worklist,
                           gnu.trove.map.TLongIntMap statePair2conjunctionState,
                           StochasticDeterministicFiniteAutomaton.EdgeIterableOutgoing itA,
                           StochasticDeterministicFiniteAutomaton.EdgeIterableOutgoing itB,
                           int conjunctionSourceState,
                           gnu.trove.map.TShortShortMap AToB,
                           java.math.BigDecimal totalProbability,
                           Projection.ChooseProbability chooseProbability)