C# 클래스 Microsoft.Automata.Internal.Utilities.RegexToRangeAutomatonSerializer

파일 보기 프로젝트 열기: AutomataDotNet/Automata

공개 메소드들

메소드 설명
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

메소드 상세

Read() 공개 정적인 메소드

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

ReadFromRanges() 공개 정적인 메소드

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
리턴 Automaton

ReadFromString() 공개 정적인 메소드

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

SaveAsRangeAutomaton() 공개 정적인 메소드

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
리턴 void