Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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()

Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD