|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.tlq.MvSetUpsetAlgebra
public class MvSetUpsetAlgebra
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 |
---|
public MvSetUpsetAlgebra()
MvSetUpsetAlgebra
instance.
_mvSetFactory
- a MvSetFactory
valueMethod Detail |
---|
public void setMvSetFactory(MvSetFactory v)
public void renew()
public MvSetCrossProductAlgebra getCrossProductAlgebra()
MvSetCrossProductAlgebra
valuepublic MvSetUpsetAlgebra.MvSetUpsetValue getJoinIrreducible(int i, MvSet mvSet)
i
- an int
valuemvSet
- a MvSet
value
MvSetUpsetValue
valuepublic MvSetUpsetAlgebra.MvSetUpsetValue getJoinIrreducible(MvSetCrossProductAlgebra.CrossProductValue v)
v
- a CrossProductValue
value
MvSetUpsetValue
valuepublic AlgebraValue getValue(int id)
getValue
in interface IAlgebra
id
- an int
value
AlgebraValue
valuepublic AlgebraValue getValue(java.lang.String name)
getValue
in interface IAlgebra
name
- a String
value
AlgebraValue
valuepublic AlgebraValue top()
top
in interface IAlgebra
public AlgebraValue bot()
bot
in interface IAlgebra
public AlgebraValue noValue()
noValue
in interface IAlgebra
public AlgebraValue meet(AlgebraValue _v1, AlgebraValue _v2)
meet
in interface IAlgebra
_v1
- an AlgebraValue
value_v2
- an AlgebraValue
value
AlgebraValue
valuepublic AlgebraValue join(AlgebraValue _v1, AlgebraValue _v2)
join
in interface IAlgebra
_v1
- an AlgebraValue
value_v2
- an AlgebraValue
value
AlgebraValue
valuepublic AlgebraValue neg(AlgebraValue v)
neg
in interface IAlgebra
v
- an AlgebraValue
value
AlgebraValue
valuepublic AlgebraValue impl(AlgebraValue v1, AlgebraValue v2)
impl
in interface IAlgebra
v1
- an AlgebraValue
valuev2
- an AlgebraValue
value
AlgebraValue
valuepublic AlgebraValue eq(AlgebraValue v1, AlgebraValue v2)
eq
in interface IAlgebra
v1
- an AlgebraValue
valuev2
- an AlgebraValue
value
AlgebraValue
valuepublic AlgebraValue leq(AlgebraValue _v1, AlgebraValue _v2)
leq
in interface IAlgebra
_v1
- an AlgebraValue
value_v2
- an AlgebraValue
value
AlgebraValue
valuepublic AlgebraValue geq(AlgebraValue v1, AlgebraValue v2)
geq
in interface IAlgebra
v1
- an AlgebraValue
valuev2
- an AlgebraValue
value
AlgebraValue
valuepublic int size()
size
in interface IAlgebra
int
valuepublic IntIterator carrierSetId()
carrierSetId
in interface IAlgebra
IntIterator
valuepublic java.util.Collection carrierSet()
carrierSet
in interface IAlgebra
Collection
valuepublic java.util.Set getJoinIrredundant(java.util.BitSet values)
getJoinIrredundant
in interface IAlgebra
values
- a BitSet
value
Set
valuepublic java.util.Set getMeetIrredundant(java.util.BitSet values)
getMeetIrredundant
in interface IAlgebra
values
- a BitSet
value
Set
valuepublic AlgebraValue[] joinDecomposition(AlgebraValue v)
joinDecomposition
in interface IAlgebra
v
- an AlgebraValue
value
AlgebraValue[]
value
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |