public final class NFAExport extends Object
| Modifier and Type | Method and Description |
|---|---|
static void |
exportDot(NFA nfa,
com.oracle.truffle.api.TruffleFile path,
boolean fullLabels,
boolean mergeFinalStates) |
static void |
exportDotReverse(NFA nfa,
com.oracle.truffle.api.TruffleFile path,
boolean fullLabels,
boolean mergeFinalStates) |
static void |
exportLaTex(NFA nfa,
com.oracle.truffle.api.TruffleFile path,
boolean fullLabels,
boolean mergeFinalStates) |
public static void exportDot(NFA nfa, com.oracle.truffle.api.TruffleFile path, boolean fullLabels, boolean mergeFinalStates)
public static void exportDotReverse(NFA nfa, com.oracle.truffle.api.TruffleFile path, boolean fullLabels, boolean mergeFinalStates)
public static void exportLaTex(NFA nfa, com.oracle.truffle.api.TruffleFile path, boolean fullLabels, boolean mergeFinalStates)