Class Automaton<TSequence, TElement, TElementDistribution, TSequenceManipulator, TThis>.Condensation

Represents the condensation of an automaton graph.

Inheritance
Object
Automaton<TSequence, TElement, TElementDistribution, TSequenceManipulator, TThis>.Condensation
Implements
Inherited Members
Namespace: Microsoft.ML.Probabilistic.Distributions.Automata
Assembly: Microsoft.ML.Probabilistic.dll
Syntax
public class Condensation : IDisposable

Properties

ComponentCount

Gets the number of strongly connected components in the condensation.

Declaration
public int ComponentCount { get; }
Property Value
Type Description
Int32

Root

Gets the root of the condensation's DAG.

Declaration
public Automaton<TSequence, TElement, TElementDistribution, TSequenceManipulator, TThis>.State Root { get; }
Property Value
Type Description
Automaton.State<>

TotalStatesCount

Declaration
public int TotalStatesCount { get; }
Property Value
Type Description
Int32

Methods

Dispose()

Declaration
public void Dispose()

GetComponent(Int32)

Gets the strongly connected component by its index. Component indices are assigned in the reverse topological order (i.e. Root is in the last component).

Declaration
public Automaton<TSequence, TElement, TElementDistribution, TSequenceManipulator, TThis>.StronglyConnectedComponent GetComponent(int index)
Parameters
Type Name Description
Int32 index

The index. Must be non-negative and less than ComponentCount.
Returns
Type Description
Automaton.StronglyConnectedComponent<>

The strongly connected component with the given index.

GetWeightFromRoot(Int32)

Gets the total weight of all paths starting at the root of the condensation and ending in a given state. Ending weights are not taken into account.

Declaration
public Weight GetWeightFromRoot(int stateIndex)
Parameters
Type Name Description
Int32 stateIndex
Returns
Type Description
Weight

The computed total weight.

GetWeightToEnd(Int32)

Gets the total weight of all paths starting at a given state. Ending weights are taken into account.

Declaration
public Weight GetWeightToEnd(int stateIndex)
Parameters
Type Name Description
Int32 stateIndex

The state Index.
Returns
Type Description
Weight

The computed total weight.

Implements