il2.inf.map
Class MapOrderMaker

Object
  extended by MapOrderMaker

public class MapOrderMaker
extends Object


Method Summary
static MapJoinTree mapJoinTree(Collection potentials, IntSet mv, IntList orderHint, double promotionWidthBound)
           
static IntList order(Collection potentials, IntSet mv, double bound, IntList orderHint)
           
static IntList order(Collection potentials, IntSet mv, IntList orderHint)
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

order

public static IntList order(Collection potentials,
                            IntSet mv,
                            IntList orderHint)

order

public static IntList order(Collection potentials,
                            IntSet mv,
                            double bound,
                            IntList orderHint)

mapJoinTree

public static MapJoinTree mapJoinTree(Collection potentials,
                                      IntSet mv,
                                      IntList orderHint,
                                      double promotionWidthBound)


Copyright 2010 UCLA Automated Reasoning Group