il2.inf.map
Class IndexedJoinTree

Object
  extended by JoinTree
      extended by IndexedJoinTree

public class IndexedJoinTree
extends JoinTree


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

Constructor Detail

IndexedJoinTree

public IndexedJoinTree(Index[] initial,
                       IntList eliminationOrder)


Copyright 2010 UCLA Automated Reasoning Group