edu.toronto.cs.algebra
Interface IAlgebra
- All Known Subinterfaces:
- DeMorganAlgebra
- All Known Implementing Classes:
- AbstractTableAlgebra, BelnapAlgebra, DeMorganTableAlgebra, MvSetCrossProductAlgebra, MvSetUpsetAlgebra, TwoValAlgebra, UpSetAlgebra
public interface IAlgebra
noValue
AlgebraValue noValue()
getValue
AlgebraValue getValue(java.lang.String name)
getValue
AlgebraValue getValue(int id)
meet
AlgebraValue meet(AlgebraValue v1,
AlgebraValue v2)
join
AlgebraValue join(AlgebraValue v1,
AlgebraValue v2)
neg
AlgebraValue neg(AlgebraValue v)
impl
AlgebraValue impl(AlgebraValue v1,
AlgebraValue v2)
top
AlgebraValue top()
bot
AlgebraValue bot()
eq
AlgebraValue eq(AlgebraValue v1,
AlgebraValue v2)
leq
AlgebraValue leq(AlgebraValue v1,
AlgebraValue v2)
geq
AlgebraValue geq(AlgebraValue v1,
AlgebraValue v2)
size
int size()
getJoinIrredundant
java.util.Set getJoinIrredundant(java.util.BitSet subset)
getMeetIrredundant
java.util.Set getMeetIrredundant(java.util.BitSet subset)
carrierSetId
IntIterator carrierSetId()
throws java.lang.UnsupportedOperationException
- Throws:
java.lang.UnsupportedOperationException
carrierSet
java.util.Collection carrierSet()
throws java.lang.UnsupportedOperationException
- Throws:
java.lang.UnsupportedOperationException
joinDecomposition
AlgebraValue[] joinDecomposition(AlgebraValue v)