C# Class Microsoft.ML.Probabilistic.Distributions.Automata.RegexpAutomatonFormat

Converts a given automaton to a regular expression (or a regular expression-like string) corresponding to the support of the automaton.
Inheritance: IAutomatonFormat
Show file Open project: dotnet/infer Class Usage Examples

Public Methods

Method Description
ConvertToString ( Microsoft.ML.Probabilistic.Distributions.Automata.Automaton automaton ) : string

Converts a given automaton to a regular expression corresponding to the support of the function.
Escape ( string rawString ) : string

Escapes a raw string, such that potential special characters can be represented in a way that the target can handle.
RegexpAutomatonFormat ( Microsoft.ML.Probabilistic.Distributions.Automata.RegexpFormattingSettings formattingSettings ) : System.Collections.Generic

Initializes a new instance of the RegexpAutomatonFormat class.

Method Details

ConvertToString() public method

Converts a given automaton to a regular expression corresponding to the support of the function.
public ConvertToString ( Microsoft.ML.Probabilistic.Distributions.Automata.Automaton automaton ) : string
automaton Microsoft.ML.Probabilistic.Distributions.Automata.Automaton The automaton to convert to a string.
return string

Escape() public method

Escapes a raw string, such that potential special characters can be represented in a way that the target can handle.
public Escape ( string rawString ) : string
rawString string Raw generated string.
return string

RegexpAutomatonFormat() public method

Initializes a new instance of the RegexpAutomatonFormat class.
public RegexpAutomatonFormat ( Microsoft.ML.Probabilistic.Distributions.Automata.RegexpFormattingSettings formattingSettings ) : System.Collections.Generic
formattingSettings Microsoft.ML.Probabilistic.Distributions.Automata.RegexpFormattingSettings The formatting settings used for conversion from an automaton to a string.
return System.Collections.Generic