ve
Class FactorStore

java.lang.Object
  |
  +--ve.FactorStore
Direct Known Subclasses:
FactorStoreIndexed, FactorStoreRandom, FactorStoreSequential

public abstract class FactorStore
extends java.lang.Object

a place to store factors during computation. An instance can assume that it is called using the protocol of QueryIndexed. (Ie., it always adds the product factor after enumerating the factors removed.)


Constructor Summary
FactorStore()
           
 
Method Summary
abstract  void addFactor(Factor fac)
           
abstract  FactorIterator emunFactorsRemaining()
           
abstract  FactorIterator emunFactorsRemoved()
           
abstract  boolean hasNext()
           
abstract  Variable next()
           
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Constructor Detail

FactorStore

public FactorStore()
Method Detail

hasNext

public abstract boolean hasNext()

next

public abstract Variable next()

addFactor

public abstract void addFactor(Factor fac)

emunFactorsRemoved

public abstract FactorIterator emunFactorsRemoved()

emunFactorsRemaining

public abstract FactorIterator emunFactorsRemaining()