edu.ucla.util
Class BucketEliminator

Object
  extended by BucketEliminator
Direct Known Subclasses:
AbstractEliminationTreeGenerator, MapEngine

public abstract class BucketEliminator
extends Object

Author:
unknown

Constructor Summary
BucketEliminator()
          Creates new BucketEliminator
BucketEliminator(List order, Collection elements, boolean combineFinalBucket)
           
 
Method Summary
 void initialize(List order, Collection elements, boolean combineFinalBucket)
           
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BucketEliminator

public BucketEliminator()
Creates new BucketEliminator


BucketEliminator

public BucketEliminator(List order,
                        Collection elements,
                        boolean combineFinalBucket)
Method Detail

initialize

public void initialize(List order,
                       Collection elements,
                       boolean combineFinalBucket)


Copyright 2010 UCLA Automated Reasoning Group