public class IndexMap extends Object
| Constructor and Description |
|---|
IndexMap() |
IndexMap(IndexMap im) |
IndexMap(int numItems) |
| Modifier and Type | Method and Description |
|---|---|
void |
allocate(int numItems) |
void |
copyFrom(IndexMap im) |
void |
readFromFile(String binaryFileName) |
void |
writeToFile(String binaryFileName) |
public FileMap[] files
public IndexMap()
public IndexMap(int numItems)
public IndexMap(IndexMap im)
public void allocate(int numItems)
public void copyFrom(IndexMap im)
public void writeToFile(String binaryFileName) throws IOException
IOExceptionpublic void readFromFile(String binaryFileName) throws IOException
IOExceptionCopyright © 2000–2016 DFKI GmbH. All rights reserved.