org.latdraw.partition
Class ReadPartitions

java.lang.Object
  org.latdraw.partition.ReadPartitions

public class ReadPartitions
extends java.lang.Object

Constructor Summary

ReadPartitions()

Method Summary

static void	main(java.lang.String[] args)
static java.util.List<Partition>	readPartitions(java.io.File file, int delta)
static OrderedSet	readPartitionsFile(java.io.File file, int delta)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ReadPartitions

public ReadPartitions()

Method Detail

readPartitionsFile

public static OrderedSet readPartitionsFile(java.io.File file,
                                            int delta)
                                     throws java.io.IOException,
                                            NonOrderedSetException

Throws:

java.io.IOException

NonOrderedSetException

readPartitions

public static java.util.List<Partition> readPartitions(java.io.File file,
                                                       int delta)
                                                throws java.io.IOException

Throws:

java.io.IOException

main

public static void main(java.lang.String[] args)