edu.toronto.cs.tlq
Class MvSetCrossProductAlgebra

java.lang.Object
  extended by edu.toronto.cs.tlq.MvSetCrossProductAlgebra
All Implemented Interfaces:
DeMorganAlgebra, IAlgebra

public class MvSetCrossProductAlgebra
extends java.lang.Object
implements DeMorganAlgebra


Nested Class Summary
 class MvSetCrossProductAlgebra.CrossProductValue
           
 
Constructor Summary
protected MvSetCrossProductAlgebra()
           
  MvSetCrossProductAlgebra(MvSetFactory factory)
           
 
Method Summary
 AlgebraValue bot()
           
 java.util.Collection carrierSet()
           
 IntIterator carrierSetId()
           
 AlgebraValue eq(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue geq(AlgebraValue v1, AlgebraValue v2)
           
 java.util.Set getJoinIrredundant(java.util.BitSet values)
           
 java.util.Set getMeetIrredundant(java.util.BitSet values)
           
 AlgebraValue getValue(int id)
           
 AlgebraValue getValue(java.lang.String name)
           
 AlgebraValue impl(AlgebraValue v1, AlgebraValue v2)
           
 AlgebraValue join(AlgebraValue _v1, AlgebraValue _v2)
           
 AlgebraValue[] joinDecomposition(AlgebraValue v)
           
 AlgebraValue leq(AlgebraValue _v1, AlgebraValue _v2)
           
static void main(java.lang.String[] args)
           
 AlgebraValue meet(AlgebraValue _v1, AlgebraValue _v2)
           
 AlgebraValue neg(AlgebraValue v)
           
 MvSetCrossProductAlgebra.CrossProductValue newValue(int idx, MvSet v)
           
 AlgebraValue noValue()
           
 void setMvSetFactory(MvSetFactory factory)
           
 int size()
           
 AlgebraValue top()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MvSetCrossProductAlgebra

public MvSetCrossProductAlgebra(MvSetFactory factory)

MvSetCrossProductAlgebra

protected MvSetCrossProductAlgebra()
Method Detail

setMvSetFactory

public void setMvSetFactory(MvSetFactory factory)

getValue

public AlgebraValue getValue(java.lang.String name)
Specified by:
getValue in interface IAlgebra

getValue

public AlgebraValue getValue(int id)
Specified by:
getValue in interface IAlgebra

newValue

public MvSetCrossProductAlgebra.CrossProductValue newValue(int idx,
                                                           MvSet v)

meet

public AlgebraValue meet(AlgebraValue _v1,
                         AlgebraValue _v2)
Specified by:
meet in interface IAlgebra

join

public AlgebraValue join(AlgebraValue _v1,
                         AlgebraValue _v2)
Specified by:
join in interface IAlgebra

geq

public AlgebraValue geq(AlgebraValue v1,
                        AlgebraValue v2)
Specified by:
geq in interface IAlgebra

leq

public AlgebraValue leq(AlgebraValue _v1,
                        AlgebraValue _v2)
Specified by:
leq in interface IAlgebra

bot

public AlgebraValue bot()
Specified by:
bot in interface IAlgebra

top

public AlgebraValue top()
Specified by:
top in interface IAlgebra

noValue

public AlgebraValue noValue()
Specified by:
noValue in interface IAlgebra

neg

public AlgebraValue neg(AlgebraValue v)
Specified by:
neg in interface IAlgebra

impl

public AlgebraValue impl(AlgebraValue v1,
                         AlgebraValue v2)
Specified by:
impl in interface IAlgebra

eq

public AlgebraValue eq(AlgebraValue v1,
                       AlgebraValue v2)
Specified by:
eq in interface IAlgebra

size

public int size()
Specified by:
size in interface IAlgebra

carrierSetId

public IntIterator carrierSetId()
Specified by:
carrierSetId in interface IAlgebra

carrierSet

public java.util.Collection carrierSet()
Specified by:
carrierSet in interface IAlgebra

getJoinIrredundant

public java.util.Set getJoinIrredundant(java.util.BitSet values)
Specified by:
getJoinIrredundant in interface IAlgebra

getMeetIrredundant

public java.util.Set getMeetIrredundant(java.util.BitSet values)
Specified by:
getMeetIrredundant in interface IAlgebra

joinDecomposition

public AlgebraValue[] joinDecomposition(AlgebraValue v)
Specified by:
joinDecomposition in interface IAlgebra

main

public static void main(java.lang.String[] args)