il2.inf.structure
Interface JTUnifier

All Superinterfaces:
JoinTreeStats.StatsSource
All Known Implementing Classes:
EliminationOrders.JT, JoinTree

public interface JTUnifier
extends JoinTreeStats.StatsSource

il2.inf.structure.JTUnifier

Since:
012904
Author:
Keith Cascio

Method Summary
 JoinTree asJoinTreeIL1()
           
 EliminationOrders.JT asJTIL2()
           
 List eliminationOrder()
           
 
Methods inherited from interface JoinTreeStats.StatsSource
getClusterStats, getSeparatorStats
 

Method Detail

asJoinTreeIL1

JoinTree asJoinTreeIL1()

asJTIL2

EliminationOrders.JT asJTIL2()

eliminationOrder

List eliminationOrder()


Copyright 2010 UCLA Automated Reasoning Group