il2.util
Class Graph

Object
  extended by Graph

public class Graph
extends Object


Nested Class Summary
static class Graph.Compressed
           
 
Constructor Summary
Graph(int size)
           
 
Method Summary
 boolean add(int vertex)
           
 boolean addEdge(int vertex1, int vertex2)
           
 int addNew()
           
 Graph.Compressed compress()
           
 boolean contains(int vertex)
           
 boolean containsEdge(int vertex1, int vertex2)
           
 boolean isConnected(IntSet vertices)
           
 boolean isTree()
           
 IntSet leaves()
           
 IntSet neighbors(int vertex)
           
 boolean remove(int vertex)
           
 boolean removeAndConnect(int vertex)
           
 boolean removeEdge(int vertex1, int vertex2)
           
 IntSet roots()
           
 void sanityCheck()
           
 int size()
           
 IntSet treeLeaves()
           
 IntSet vertices()
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Graph

public Graph(int size)
Method Detail

compress

public Graph.Compressed compress()

roots

public IntSet roots()

leaves

public IntSet leaves()

isConnected

public boolean isConnected(IntSet vertices)

isTree

public boolean isTree()

treeLeaves

public IntSet treeLeaves()

contains

public boolean contains(int vertex)

add

public boolean add(int vertex)

addNew

public int addNew()

vertices

public IntSet vertices()

remove

public boolean remove(int vertex)

addEdge

public boolean addEdge(int vertex1,
                       int vertex2)

removeEdge

public boolean removeEdge(int vertex1,
                          int vertex2)

containsEdge

public boolean containsEdge(int vertex1,
                            int vertex2)

neighbors

public IntSet neighbors(int vertex)

size

public int size()

removeAndConnect

public boolean removeAndConnect(int vertex)

sanityCheck

public void sanityCheck()


Copyright 2010 UCLA Automated Reasoning Group