il2.inf.structure
Class Bucketer
Object
Bucketer
public class Bucketer
- extends Object
Bucketer
public Bucketer(IntList eliminationOrder)
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