C# Class Microsoft.Automata.Internal.Utilities.RegexToRangeAutomatonSerializer

Exibir arquivo Open project: AutomataDotNet/Automata

Public Methods

Method Description
Read ( CharSetSolver solver, string file ) : Automaton
ReadFromRanges ( CharSetSolver solver, int initialState, int finalStates, IEnumerable transitions ) : Automaton

Each transition has the form int[]{fromState, intervalStart, intervalEnd, toState}. If intervalStart = intervalEnd = -1 then this is an epsilon move.

ReadFromString ( CharSetSolver solver, string automaton ) : Automaton
SaveAsRangeAutomaton ( string regex, BitWidth encoding, string file, bool epsilonfree = false, bool determinize = false, int determinization_timeout_ms ) : void

Method Details

Read() public static method

public static Read ( CharSetSolver solver, string file ) : Automaton
solver CharSetSolver
file string
return Automaton

ReadFromRanges() public static method

Each transition has the form int[]{fromState, intervalStart, intervalEnd, toState}. If intervalStart = intervalEnd = -1 then this is an epsilon move.
public static ReadFromRanges ( CharSetSolver solver, int initialState, int finalStates, IEnumerable transitions ) : Automaton
solver CharSetSolver
initialState int
finalStates int
transitions IEnumerable
return Automaton

ReadFromString() public static method

public static ReadFromString ( CharSetSolver solver, string automaton ) : Automaton
solver CharSetSolver
automaton string
return Automaton

SaveAsRangeAutomaton() public static method

public static SaveAsRangeAutomaton ( string regex, BitWidth encoding, string file, bool epsilonfree = false, bool determinize = false, int determinization_timeout_ms ) : void
regex string
encoding BitWidth
file string
epsilonfree bool
determinize bool
determinization_timeout_ms int
return void