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

Afficher le fichier Open project: AutomataDotNet/Automata

Méthodes publiques

Méthode	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 méthode

public static Read ( CharSetSolver solver, string file ) : Automaton
solver	CharSetSolver
file	string
Résultat	Automaton

ReadFromRanges() public static méthode

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
Résultat	Automaton

ReadFromString() public static méthode

public static ReadFromString ( CharSetSolver solver, string automaton ) : Automaton
solver	CharSetSolver
automaton	string
Résultat	Automaton

SaveAsRangeAutomaton() public static méthode

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
Résultat	void