|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||
java.lang.Objectde.pado.dv.ExtractBasisElements
public class ExtractBasisElements
executable ExtractBasisElements extracts a list of BasisElements (equivalence classes of Paths). In addition, it counts BEs, target words and the total number of paths. For the command line parameters, see the help (just call bin/ExtractBasisElements.sh).
| Method Summary | |
|---|---|
static void |
main(java.lang.String[] args)
This function is called when running the program with java ExtractBasisElements \< arguments \> . |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
|---|
public static void main(java.lang.String[] args)
|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||