Definition at line 15 of file FileInput.java.
Static Public Member Functions | |
| static List | readFile (java.util.List localList, java.util.List filenameList, String filename) |
| The method readFile reads the specified input file line by line and parses line contents to a number of type int. | |
| static List VisuBDD::FileInput::readFile | ( | java.util.List | localList, | |
| java.util.List | filenameList, | |||
| String | filename | |||
| ) | [inline, static] |
The method readFile reads the specified input file line by line and parses line contents to a number of type int.
The numbers are appended to ta list numberList and returned.
| localList | the list containing numberlists already read | |
| filenameList | list containing names of files already read. (in/out) | |
| filename | the name of the current inputfile to be read. |
Definition at line 28 of file FileInput.java.
Referenced by VisuBDD::VisualizeSize::main().
Here is the caller graph for this function:

1.5.1