edu.toronto.cs.tlq
Class MvSetUpsetAlgebra

java.lang.Object
  extended by edu.toronto.cs.tlq.MvSetUpsetAlgebra
All Implemented Interfaces:
IAlgebra

public class MvSetUpsetAlgebra
extends java.lang.Object
implements IAlgebra


Nested Class Summary
 class MvSetUpsetAlgebra.MvSetUpsetValue
          A single element of MvSetUpsetAlgebra
 
Constructor Summary
MvSetUpsetAlgebra()
          Creates a new MvSetUpsetAlgebra instance.
 
Method Summary
 AlgebraValue bot()
           
 java.util.Collection carrierSet()
          Not implemented
 IntIterator carrierSetId()
          IntIterator over id's of the carrier set
 AlgebraValue eq(AlgebraValue v1, AlgebraValue v2)
          Algebraic equivalence
 AlgebraValue geq(AlgebraValue v1, AlgebraValue v2)
          same as leq (v2, v1)
 MvSetCrossProductAlgebra getCrossProductAlgebra()
          Returns underlying cross-product algebra
 MvSetUpsetAlgebra.MvSetUpsetValue getJoinIrreducible(int i, MvSet mvSet)
          Convinience method to produce an join irreducible element of this algebra without creating a cross-product element first.
 MvSetUpsetAlgebra.MvSetUpsetValue getJoinIrreducible(MvSetCrossProductAlgebra.CrossProductValue v)
          Returns a join irreducible element of this algebra which is equivalent to upset (v)
 java.util.Set getJoinIrredundant(java.util.BitSet values)
          Not implemented
 java.util.Set getMeetIrredundant(java.util.BitSet values)
          Not implemented
 AlgebraValue getValue(int id)
          Returns an AlgebraValue based on id
 AlgebraValue getValue(java.lang.String name)
          Returns an algebra value based on name
 AlgebraValue impl(AlgebraValue v1, AlgebraValue v2)
          Not implemented
 AlgebraValue join(AlgebraValue _v1, AlgebraValue _v2)
          Algebraic join
 AlgebraValue[] joinDecomposition(AlgebraValue v)
          Not implemented
 AlgebraValue leq(AlgebraValue _v1, AlgebraValue _v2)
          Algebraic less-than-or-equals
 AlgebraValue meet(AlgebraValue _v1, AlgebraValue _v2)
          Algebraic meet
 AlgebraValue neg(AlgebraValue v)
          Negation.
 AlgebraValue noValue()
           
 void renew()
           
 void setMvSetFactory(MvSetFactory v)
           
 int size()
          The size of the carrier set -- not implemented
 AlgebraValue top()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MvSetUpsetAlgebra

public MvSetUpsetAlgebra()
Creates a new MvSetUpsetAlgebra instance.

Parameters:
_mvSetFactory - a MvSetFactory value
Method Detail

setMvSetFactory

public void setMvSetFactory(MvSetFactory v)

renew

public void renew()

getCrossProductAlgebra

public MvSetCrossProductAlgebra getCrossProductAlgebra()
Returns underlying cross-product algebra

Returns:
a MvSetCrossProductAlgebra value

getJoinIrreducible

public MvSetUpsetAlgebra.MvSetUpsetValue getJoinIrreducible(int i,
                                                            MvSet mvSet)
Convinience method to produce an join irreducible element of this algebra without creating a cross-product element first. This is equivalent to getJoinIrreducible (getCrossProductAlgebra ().newValue (i, mvSet))

Parameters:
i - an int value
mvSet - a MvSet value
Returns:
a MvSetUpsetValue value

getJoinIrreducible

public MvSetUpsetAlgebra.MvSetUpsetValue getJoinIrreducible(MvSetCrossProductAlgebra.CrossProductValue v)
Returns a join irreducible element of this algebra which is equivalent to upset (v)

Parameters:
v - a CrossProductValue value
Returns:
a MvSetUpsetValue value

getValue

public AlgebraValue getValue(int id)
Returns an AlgebraValue based on id

Specified by:
getValue in interface IAlgebra
Parameters:
id - an int value
Returns:
an AlgebraValue value

getValue

public AlgebraValue getValue(java.lang.String name)
Returns an algebra value based on name

Specified by:
getValue in interface IAlgebra
Parameters:
name - a String value
Returns:
an AlgebraValue value

top

public AlgebraValue top()
Specified by:
top in interface IAlgebra
Returns:
Top of this algebra

bot

public AlgebraValue bot()
Specified by:
bot in interface IAlgebra
Returns:
Bottom element of this algebra

noValue

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

meet

public AlgebraValue meet(AlgebraValue _v1,
                         AlgebraValue _v2)
Algebraic meet

Specified by:
meet in interface IAlgebra
Parameters:
_v1 - an AlgebraValue value
_v2 - an AlgebraValue value
Returns:
an AlgebraValue value

join

public AlgebraValue join(AlgebraValue _v1,
                         AlgebraValue _v2)
Algebraic join

Specified by:
join in interface IAlgebra
Parameters:
_v1 - an AlgebraValue value
_v2 - an AlgebraValue value
Returns:
an AlgebraValue value

neg

public AlgebraValue neg(AlgebraValue v)
Negation. Only defined if v == top (), or v == bot ()

Specified by:
neg in interface IAlgebra
Parameters:
v - an AlgebraValue value
Returns:
an AlgebraValue value

impl

public AlgebraValue impl(AlgebraValue v1,
                         AlgebraValue v2)
Not implemented

Specified by:
impl in interface IAlgebra
Parameters:
v1 - an AlgebraValue value
v2 - an AlgebraValue value
Returns:
an AlgebraValue value

eq

public AlgebraValue eq(AlgebraValue v1,
                       AlgebraValue v2)
Algebraic equivalence

Specified by:
eq in interface IAlgebra
Parameters:
v1 - an AlgebraValue value
v2 - an AlgebraValue value
Returns:
an AlgebraValue value

leq

public AlgebraValue leq(AlgebraValue _v1,
                        AlgebraValue _v2)
Algebraic less-than-or-equals

Specified by:
leq in interface IAlgebra
Parameters:
_v1 - an AlgebraValue value
_v2 - an AlgebraValue value
Returns:
an AlgebraValue value

geq

public AlgebraValue geq(AlgebraValue v1,
                        AlgebraValue v2)
same as leq (v2, v1)

Specified by:
geq in interface IAlgebra
Parameters:
v1 - an AlgebraValue value
v2 - an AlgebraValue value
Returns:
an AlgebraValue value

size

public int size()
The size of the carrier set -- not implemented

Specified by:
size in interface IAlgebra
Returns:
an int value

carrierSetId

public IntIterator carrierSetId()
IntIterator over id's of the carrier set

Specified by:
carrierSetId in interface IAlgebra
Returns:
an IntIterator value

carrierSet

public java.util.Collection carrierSet()
Not implemented

Specified by:
carrierSet in interface IAlgebra
Returns:
a Collection value

getJoinIrredundant

public java.util.Set getJoinIrredundant(java.util.BitSet values)
Not implemented

Specified by:
getJoinIrredundant in interface IAlgebra
Parameters:
values - a BitSet value
Returns:
a Set value

getMeetIrredundant

public java.util.Set getMeetIrredundant(java.util.BitSet values)
Not implemented

Specified by:
getMeetIrredundant in interface IAlgebra
Parameters:
values - a BitSet value
Returns:
a Set value

joinDecomposition

public AlgebraValue[] joinDecomposition(AlgebraValue v)
Not implemented

Specified by:
joinDecomposition in interface IAlgebra
Parameters:
v - an AlgebraValue value
Returns:
an AlgebraValue[] value