topology
public class RelationCollection extends java.lang.Object
Constructor and Description |
---|
RelationCollection() |
Modifier and Type | Method and Description |
---|---|
static <E extends java.lang.Comparable<E>> |
power(BinaryRelation<E> R,
int n)
Returns the n-th power of a binary relation.
|
static <E extends java.lang.Comparable<E>> |
product(BinaryRelation<E> R,
BinaryRelation<E> S)
Returns the product of two binary relations.
|
static <E extends java.lang.Comparable<E>> |
transitiveClosure(BinaryRelation<E> R)
Returns the transitive closure of a relation.
|
public static <E extends java.lang.Comparable<E>> BinaryRelation<E> product(BinaryRelation<E> R, BinaryRelation<E> S)
E
- relation typeR
- relation 1S
- relation 2public static <E extends java.lang.Comparable<E>> BinaryRelation<E> power(BinaryRelation<E> R, int n)
E
- relation typeR
- a relationn
- the exponentpublic static <E extends java.lang.Comparable<E>> BinaryRelation<E> transitiveClosure(BinaryRelation<E> R)
E
- relation typeR
- a relation