il2.inf.structure
Class Bucketer

Object
  extended by Bucketer

public class Bucketer
extends Object


Constructor Summary
Bucketer(IntList eliminationOrder)
           
 
Method Summary
 int bucketIndex(int var)
           
 int bucketLabel(int i)
           
 ArrayList getBucket(int i)
           
 int lastBucket()
           
 void placeInBucket(SubDomain sd)
           
 void placeInBucket(SubDomain sd, int after)
           
 int placeInBucket2(SubDomain sd, int after)
          same as placeInBucket, except that it returns the index of the bucket the table is placed into.
 void placeInBuckets(Collection subDomains)
           
 void placeInBuckets(Collection subDomains, int after)
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Bucketer

public Bucketer(IntList eliminationOrder)
Method Detail

placeInBucket

public void placeInBucket(SubDomain sd)

placeInBuckets

public void placeInBuckets(Collection subDomains)

placeInBuckets

public void placeInBuckets(Collection subDomains,
                           int after)

lastBucket

public int lastBucket()

placeInBucket

public void placeInBucket(SubDomain sd,
                          int after)

placeInBucket2

public int placeInBucket2(SubDomain sd,
                          int after)
same as placeInBucket, except that it returns the index of the bucket the table is placed into. created for EliminationOrders.bucketerJoinTree


getBucket

public ArrayList getBucket(int i)

bucketLabel

public int bucketLabel(int i)

bucketIndex

public int bucketIndex(int var)


Copyright 2010 UCLA Automated Reasoning Group