il2.inf.map
Class JoinTree

Object
  extended by JoinTree
Direct Known Subclasses:
IndexedJoinTree

public class JoinTree
extends Object


Constructor Summary
JoinTree(Index[] initial, IntList eliminationOrder)
           
 
Method Summary
 IntSet children(int i)
           
 Index cluster(int i)
           
 int clusterCount()
           
 Domain domain()
           
 int parent(int i)
           
 void sanityCheck()
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JoinTree

public JoinTree(Index[] initial,
                IntList eliminationOrder)
Method Detail

clusterCount

public int clusterCount()

cluster

public Index cluster(int i)

children

public IntSet children(int i)

parent

public int parent(int i)

sanityCheck

public void sanityCheck()

domain

public Domain domain()


Copyright 2010 UCLA Automated Reasoning Group