Last change
on this file since 1547 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
|
Line | |
---|
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.