메소드 | 설명 | |
---|---|---|
Read ( CharSetSolver solver, string file ) : Automaton |
||
ReadFromRanges ( CharSetSolver solver, int initialState, int finalStates, IEnumerable |
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 |
public static Read ( CharSetSolver solver, string file ) : Automaton |
||
solver | CharSetSolver | |
file | string | |
리턴 | Automaton |
public static ReadFromRanges ( CharSetSolver solver, int initialState, int finalStates, IEnumerable |
||
solver | CharSetSolver | |
initialState | int | |
finalStates | int | |
transitions | IEnumerable |
|
리턴 | Automaton |
public static ReadFromString ( CharSetSolver solver, string automaton ) : Automaton |
||
solver | CharSetSolver | |
automaton | string | |
리턴 | Automaton |
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 |