il2.util
Class Graph
Object
Graph
public class Graph
- extends Object
Constructor Summary |
Graph(int size)
|
Graph
public Graph(int size)
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