package road;

import partition.Partition;
import partition.TablePartition;

public class Test {

   public static void main(String[] args) throws Exception{
	 if (args.length == 0) throw new Exception();
     DeterministicAutomaton g = GraphReader.readGraph(args[0]);
     Partition p = new TablePartition(g.size());
     Quotient q = new Quotient(g,p);
     q.update();
     System.out.println("Inv  ");
     System.out.println(q.getInv());
     IntTriple triple = q.preliminaryStep();
     System.out.println(q);
     System.out.println(q.getData());
     System.out.println(triple); 
     //q.findColoring();
     //StablePair stab = q.findStablePair();
     //q.upLiftFlips();
	 //q.merge(stab.getX(),stab.getY());
	 //System.out.println(q.size());
   }
}