edu.toronto.cs.algebra
Class DeMorganTableAlgebra

java.lang.Object
  extended by edu.toronto.cs.algebra.AbstractTableAlgebra
      extended by edu.toronto.cs.algebra.DeMorganTableAlgebra
All Implemented Interfaces:
DeMorganAlgebra, IAlgebra

public class DeMorganTableAlgebra
extends AbstractTableAlgebra
implements DeMorganAlgebra


Constructor Summary
DeMorganTableAlgebra(java.util.Collection elements, java.util.Collection aboveRelation, java.util.Collection negRelation)
           
DeMorganTableAlgebra(DeMorganTableAlgebra alg1, DeMorganTableAlgebra alg2)
           
 
Method Summary
 void dumpTables(java.io.PrintWriter out)
          Debug and tester methods
 java.util.Set getJoinIrredundant(java.util.BitSet interested)
           
 java.util.Set getMeetIrredundant(java.util.BitSet interested)
           
 int[] getNegTable()
           
 AlgebraValue impl(AlgebraValue v1, AlgebraValue v2)
           
static void main(java.lang.String[] args)
           
 AlgebraValue neg(AlgebraValue v)
           
 
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
 

Constructor Detail

DeMorganTableAlgebra

public DeMorganTableAlgebra(DeMorganTableAlgebra alg1,
                            DeMorganTableAlgebra alg2)

DeMorganTableAlgebra

public DeMorganTableAlgebra(java.util.Collection elements,
                            java.util.Collection aboveRelation,
                            java.util.Collection negRelation)
Method Detail

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)