edu.toronto.cs.tlq
Class MvSetCrossProductAlgebra
java.lang.Object
edu.toronto.cs.tlq.MvSetCrossProductAlgebra
- All Implemented Interfaces:
- DeMorganAlgebra, IAlgebra
public class MvSetCrossProductAlgebra
- extends java.lang.Object
- implements DeMorganAlgebra
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
MvSetCrossProductAlgebra
public MvSetCrossProductAlgebra(MvSetFactory factory)
MvSetCrossProductAlgebra
protected MvSetCrossProductAlgebra()
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)