edu.toronto.cs.algebra
Class BelnapAlgebra
java.lang.Object
edu.toronto.cs.algebra.BelnapAlgebra
- All Implemented Interfaces:
- IAlgebra
public class BelnapAlgebra
- extends java.lang.Object
- implements IAlgebra
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
BelnapAlgebra
public BelnapAlgebra()
noValue
public AlgebraValue noValue()
- Specified by:
noValue
in interface IAlgebra
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
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
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
top
public AlgebraValue top()
- Specified by:
top
in interface IAlgebra
bot
public AlgebraValue bot()
- Specified by:
bot
in interface IAlgebra
eq
public AlgebraValue eq(AlgebraValue v1,
AlgebraValue v2)
- Specified by:
eq
in interface IAlgebra
leq
public AlgebraValue leq(AlgebraValue v1,
AlgebraValue v2)
- Specified by:
leq
in interface IAlgebra
geq
public AlgebraValue geq(AlgebraValue v1,
AlgebraValue v2)
- Specified by:
geq
in interface IAlgebra
size
public int size()
- Specified by:
size
in interface IAlgebra
getJoinIrredundant
public java.util.Set getJoinIrredundant(java.util.BitSet subset)
- Specified by:
getJoinIrredundant
in interface IAlgebra
getMeetIrredundant
public java.util.Set getMeetIrredundant(java.util.BitSet subset)
- Specified by:
getMeetIrredundant
in interface IAlgebra
carrierSetId
public IntIterator carrierSetId()
throws java.lang.UnsupportedOperationException
- Specified by:
carrierSetId
in interface IAlgebra
- Throws:
java.lang.UnsupportedOperationException
carrierSet
public java.util.Collection carrierSet()
throws java.lang.UnsupportedOperationException
- Specified by:
carrierSet
in interface IAlgebra
- Throws:
java.lang.UnsupportedOperationException
joinDecomposition
public AlgebraValue[] joinDecomposition(AlgebraValue v)
- Specified by:
joinDecomposition
in interface IAlgebra
infoTop
public AlgebraValue infoTop()
infoBot
public AlgebraValue infoBot()
infoMeet
public AlgebraValue infoMeet(AlgebraValue v1,
AlgebraValue v2)
infoJoin
public AlgebraValue infoJoin(AlgebraValue v1,
AlgebraValue v2)
infoNeg
public AlgebraValue infoNeg(AlgebraValue v1)