edu.toronto.cs.mvset
Class AbstractMvSetFactory

java.lang.Object
  extended by edu.toronto.cs.mvset.AbstractMvSetFactory
All Implemented Interfaces:
MvSetFactory
Direct Known Subclasses:
CUADDMvSetFactory, JADDMvSetFactory, JCUDDBelnapMvSetFactory, JCUDDMvSetFactory, MDDMvSetFactory

public abstract class AbstractMvSetFactory
extends java.lang.Object
implements MvSetFactory


Field Summary
 
Fields inherited from interface edu.toronto.cs.mvset.MvSetFactory
DONT_CARE
 
Constructor Summary
AbstractMvSetFactory(IAlgebra _algebra)
           
 
Method Summary
 IAlgebra getAlgebra()
          Gets the lattice for this factory.
 MvSet infoBot()
           
 MvSet infoTop()
           
 void renew()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface edu.toronto.cs.mvset.MvSetFactory
bot, buildCube, createCase, createConstant, createPoint, createProjection, top, var
 

Constructor Detail

AbstractMvSetFactory

public AbstractMvSetFactory(IAlgebra _algebra)
Method Detail

renew

public void renew()
Specified by:
renew in interface MvSetFactory

getAlgebra

public IAlgebra getAlgebra()
Description copied from interface: MvSetFactory
Gets the lattice for this factory.

Specified by:
getAlgebra in interface MvSetFactory

infoTop

public MvSet infoTop()
Specified by:
infoTop in interface MvSetFactory

infoBot

public MvSet infoBot()
Specified by:
infoBot in interface MvSetFactory