|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.algebra.AbstractTableAlgebra
public abstract class AbstractTableAlgebra
Implementation of a lattice that sorts its elements in topological order and builds a join table following the algorithms in Free Lattices by Ralph Freese author: Arie Gurfinkel arie@cs.toronto.edu /**** Implements all kinds of (partially) ordered set operations namely: topological sorting and computing a join table
Constructor Summary | |
---|---|
AbstractTableAlgebra(AbstractTableAlgebra set1,
AbstractTableAlgebra set2)
Construct an ordered set which is a product of set1 and set2 |
|
AbstractTableAlgebra(java.util.Collection _elements,
java.util.Collection aboveRelation)
Constructs an ordered set given a collection of elements and an above relation (given a set of pairs) |
Method Summary | |
---|---|
AlgebraValue |
bot()
|
java.util.Collection |
carrierSet()
|
IntIterator |
carrierSetId()
|
void |
dumpTables(java.io.PrintWriter out)
TESTER method and debug functions |
void |
dumpValueMap(java.io.PrintWriter out)
|
AlgebraValue |
eq(AlgebraValue v1,
AlgebraValue v2)
|
AlgebraValue |
geq(AlgebraValue v1,
AlgebraValue v2)
|
java.util.Set |
getJoinIrredundant(java.util.BitSet subset)
|
int[][] |
getJoinTable()
|
int[][] |
getMeetTable()
|
AlgebraValue |
getValue(int id)
|
AlgebraValue |
getValue(java.lang.String name)
Lattice Interface |
abstract AlgebraValue |
impl(AlgebraValue v1,
AlgebraValue v2)
|
AlgebraValue |
join(AlgebraValue v1,
AlgebraValue v2)
|
AlgebraValue[] |
joinDecomposition(AlgebraValue v)
|
AlgebraValue |
leq(AlgebraValue v1,
AlgebraValue v2)
|
AlgebraValue |
meet(AlgebraValue v1,
AlgebraValue v2)
|
abstract AlgebraValue |
neg(AlgebraValue v)
|
AlgebraValue |
noValue()
|
int |
size()
|
AlgebraValue |
top()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface edu.toronto.cs.algebra.IAlgebra |
---|
getMeetIrredundant |
Constructor Detail |
---|
public AbstractTableAlgebra(AbstractTableAlgebra set1, AbstractTableAlgebra set2)
public AbstractTableAlgebra(java.util.Collection _elements, java.util.Collection aboveRelation)
Method Detail |
---|
public AlgebraValue noValue()
noValue
in interface IAlgebra
public int[][] getJoinTable()
public int[][] getMeetTable()
public AlgebraValue getValue(java.lang.String name)
getValue
in interface IAlgebra
public AlgebraValue getValue(int id)
getValue
in interface IAlgebra
public AlgebraValue meet(AlgebraValue v1, AlgebraValue v2)
meet
in interface IAlgebra
public AlgebraValue join(AlgebraValue v1, AlgebraValue v2)
join
in interface IAlgebra
public abstract AlgebraValue neg(AlgebraValue v)
neg
in interface IAlgebra
public abstract AlgebraValue impl(AlgebraValue v1, AlgebraValue v2)
impl
in interface IAlgebra
public AlgebraValue top()
top
in interface IAlgebra
public AlgebraValue bot()
bot
in interface IAlgebra
public AlgebraValue eq(AlgebraValue v1, AlgebraValue v2)
eq
in interface IAlgebra
public AlgebraValue leq(AlgebraValue v1, AlgebraValue v2)
leq
in interface IAlgebra
public AlgebraValue geq(AlgebraValue v1, AlgebraValue v2)
geq
in interface IAlgebra
public int size()
size
in interface IAlgebra
public IntIterator carrierSetId() throws java.lang.UnsupportedOperationException
carrierSetId
in interface IAlgebra
java.lang.UnsupportedOperationException
public java.util.Collection carrierSet() throws java.lang.UnsupportedOperationException
carrierSet
in interface IAlgebra
java.lang.UnsupportedOperationException
public AlgebraValue[] joinDecomposition(AlgebraValue v)
joinDecomposition
in interface IAlgebra
public void dumpTables(java.io.PrintWriter out)
public void dumpValueMap(java.io.PrintWriter out)
public java.util.Set getJoinIrredundant(java.util.BitSet subset)
getJoinIrredundant
in interface IAlgebra
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |