Interface IAutomatonFormat

An interface for classes implementing various methods of representing automata as strings.

Namespace: Microsoft.ML.Probabilistic.Distributions.Automata

Assembly: Microsoft.ML.Probabilistic.dll

Syntax

public interface IAutomatonFormat

Methods

ConvertToString<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton>(Automaton<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton>)

Converts a given automaton to a string.

Declaration

string ConvertToString<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton>(Automaton<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton> automaton)
    where TSequence : class, IEnumerable<TElement> where TElementDistribution : IImmutableDistribution<TElement, TElementDistribution>, CanGetLogAverageOf<TElementDistribution>, CanComputeProduct<TElementDistribution>, CanCreatePartialUniform<TElementDistribution>, SummableExactly<TElementDistribution>, new()
    where TSequenceManipulator : ISequenceManipulator<TSequence, TElement>, new()
    where TAutomaton : Automaton<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton>, new()

Parameters

Type	Name	Description
Automaton<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton>	automaton	The automaton to convert to a string.

Returns

Type	Description
String	The string representation of automaton.

Type Parameters

Name	Description
TSequence	The type of sequences automaton is defined on.
TElement	The type of sequence elements of automaton.
TElementDistribution	The type of distributions over sequence elements of automaton.
TSequenceManipulator	The type providing ways to manipulate instances of TSequence.
TAutomaton	The concrete type of automaton.

Escape(String)

Escapes a raw string, such that potential special characters can be represented in a way that the target can handle.

Declaration

string Escape(string rawString)

Parameters

Type	Name	Description
String	rawString	Raw generated string.

Returns

Type	Description
String	An escaped string.