edu.toronto.cs.algebra
Class DeMorganTableAlgebra
java.lang.Object
edu.toronto.cs.algebra.AbstractTableAlgebra
edu.toronto.cs.algebra.DeMorganTableAlgebra
- All Implemented Interfaces:
- DeMorganAlgebra, IAlgebra
public class DeMorganTableAlgebra
- extends AbstractTableAlgebra
- implements DeMorganAlgebra
Methods inherited from class edu.toronto.cs.algebra.AbstractTableAlgebra |
bot, carrierSet, carrierSetId, dumpValueMap, eq, geq, getJoinTable, getMeetTable, getValue, getValue, join, joinDecomposition, leq, meet, noValue, size, top |
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.algebra.IAlgebra |
bot, carrierSet, carrierSetId, eq, geq, getValue, getValue, join, joinDecomposition, leq, meet, noValue, size, top |
DeMorganTableAlgebra
public DeMorganTableAlgebra(DeMorganTableAlgebra alg1,
DeMorganTableAlgebra alg2)
DeMorganTableAlgebra
public DeMorganTableAlgebra(java.util.Collection elements,
java.util.Collection aboveRelation,
java.util.Collection negRelation)
neg
public AlgebraValue neg(AlgebraValue v)
- Specified by:
neg
in interface IAlgebra
- Specified by:
neg
in class AbstractTableAlgebra
impl
public AlgebraValue impl(AlgebraValue v1,
AlgebraValue v2)
- Specified by:
impl
in interface IAlgebra
- Specified by:
impl
in class AbstractTableAlgebra
getNegTable
public int[] getNegTable()
dumpTables
public void dumpTables(java.io.PrintWriter out)
- Debug and tester methods
- Overrides:
dumpTables
in class AbstractTableAlgebra
getJoinIrredundant
public java.util.Set getJoinIrredundant(java.util.BitSet interested)
- Specified by:
getJoinIrredundant
in interface IAlgebra
- Overrides:
getJoinIrredundant
in class AbstractTableAlgebra
getMeetIrredundant
public java.util.Set getMeetIrredundant(java.util.BitSet interested)
- Specified by:
getMeetIrredundant
in interface IAlgebra
main
public static void main(java.lang.String[] args)