Modifier and Type | Class and Description |
---|---|
class |
StochasticDeterministicFiniteAutomatonImpl.EdgeIterableOutgoingImpl
Iterator to iterate over the outgoing edges of a state.
|
Modifier and Type | Method and Description |
---|---|
StochasticDeterministicFiniteAutomaton.EdgeIterableOutgoing |
StochasticDeterministicFiniteAutomaton.getOutgoingEdgesIterator(int state) |
Modifier and Type | Method and Description |
---|---|
static double |
StochasticUtils.getTerminationProbability(StochasticDeterministicFiniteAutomaton.EdgeIterableOutgoing it,
int state) |
static boolean |
StochasticUtils.hasTerminationProbability(StochasticDeterministicFiniteAutomaton.EdgeIterableOutgoing it,
int state) |
static void |
Projection.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) |