de.pado.dv
Class ExtractBasisElements

java.lang.Object
  extended by de.pado.dv.ExtractBasisElements

public class ExtractBasisElements
extends java.lang.Object

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

main

public static void main(java.lang.String[] args)
This function is called when running the program with java ExtractBasisElements \< arguments \> . The program relies on receiving the right command line arguments and will exit if they are not supplied. See help output and documentation for details about arguments.