org.latdraw.partition
Class ReadPartitions

java.lang.Object
  extended by 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)


Copyright 2003 Ralph Freese. All Rights Reserved.