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

Mostra file 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