|
Last change
on this file since 738 was
728,
checked in by sherbold, 12 years ago
|
- added manuals for the commands efgTestCasesToSequences, efgToDFA, efgToMM, parseDirJFC, parseJFC, preprocessDirJFC, preprocessJFC, convertDirToXml, convertToXml, parseXML, and loadWebSequences
|
|
File size:
171 bytes
|
| Rev | Line | |
|---|
| [728] | 1 | Loads a GUITAR EFG file and creates a DFA based on the contents. |
|---|
| 2 | |
|---|
| 3 | $USAGE$ |
|---|
| 4 | <filename> name of the efg file |
|---|
| 5 | <modelname> name of the DFA |
|---|
| 6 | |
|---|
| 7 | Example(s): |
|---|
| 8 | efgToDFA efgfile.efg dfa |
|---|
Note: See
TracBrowser
for help on using the repository browser.
