org.uacalc.alg.conlat

Class BasicBinaryRelation

java.lang.Object

org.uacalc.alg.conlat.BasicBinaryRelation

All Implemented Interfaces:

java.lang.Comparable, java.lang.Iterable<IntArray>, BinaryRelation

public class BasicBinaryRelation
extends java.lang.Object
implements BinaryRelation

Constructor Summary

Constructors

Constructor and Description
BasicBinaryRelation(java.util.Collection<IntArray> collection, int univSize)
BasicBinaryRelation(int univSize)

Method Summary

Modifier and Type	Method and Description
void	add(int i, int j)
int	compareTo(java.lang.Object o)
BinaryRelation	compose(BinaryRelation beta) Relation composition.
java.util.NavigableSet<IntArray>	getPairs()
static BinaryRelation	identity(int size) This gives the identity relation on n; that is the zero congruence.
boolean	isReflexive()
boolean	isRelated(int i, int j)
boolean	isSymmetric()
java.util.Iterator<IntArray>	iterator()
static void	main(java.lang.String[] args)
java.lang.String	toString()
int	universeSize()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

BasicBinaryRelation

public BasicBinaryRelation(int univSize)

BasicBinaryRelation

public BasicBinaryRelation(java.util.Collection<IntArray> collection,
                           int univSize)

Method Detail

getPairs

public java.util.NavigableSet<IntArray> getPairs()

Specified by:

getPairs in interface BinaryRelation

compareTo

public int compareTo(java.lang.Object o)

Specified by:

compareTo in interface java.lang.Comparable

isRelated

public boolean isRelated(int i,
                         int j)

Specified by:

isRelated in interface BinaryRelation

universeSize

public int universeSize()

Specified by:

universeSize in interface BinaryRelation

iterator

public java.util.Iterator<IntArray> iterator()

Specified by:

iterator in interface java.lang.Iterable<IntArray>

compose

public BinaryRelation compose(BinaryRelation beta)

Relation composition. This follows DeMeo's suggestion.

Specified by:

compose in interface BinaryRelation

add

public void add(int i,
                int j)

isReflexive

public boolean isReflexive()

isSymmetric

public boolean isSymmetric()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

identity

public static BinaryRelation identity(int size)

This gives the identity relation on n; that is the zero congruence.

Parameters:

size -

Returns:

main

public static void main(java.lang.String[] args)