il2.util
Class Graph.Compressed

Object
  extended by Graph.Compressed
Enclosing class:
Graph

public static class Graph.Compressed
extends Object


Field Summary
 Graph graph
           
 int[] mapping
           
 
Method Summary
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

graph

public final Graph graph

mapping

public final int[] mapping


Copyright 2010 UCLA Automated Reasoning Group