org.uacalc.alg.conlat

Interface Partition

All Superinterfaces:

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

All Known Implementing Classes:

BasicPartition

public interface Partition
extends BinaryRelation

This interface specifies the basic operations for partitions on the set {0, 1, ..., n-1}. This also specifies that the partition should have a system of distinct representatives, an SDR.

Version:

$Id$

Author:

Ralph Freese

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	Partition.PrintType Printing types: the internal representation.

Method Summary

Modifier and Type	Method and Description
int	blockIndex(int i)
int[][]	getBlocks()
boolean	isInitialLexRepresentative()
boolean	isRelated(int i, int j)
boolean	isRepresentative(int i)
boolean	isZero()
Partition	join(Partition part2)
void	joinBlocks(int r, int s) Note r and s must be roots and distinct.
boolean	leq(Partition part2)
Partition	meet(Partition part2)
void	normalize()
int	numberOfBlocks()
int	representative(int i)
int[]	representatives()
int[]	toArray() This returns the array representation of the partition as described in Ralph Freese's notes on partitions, see http://www.math.hawaii.edu/~ralph/Notes/.
java.lang.String	toString(int maxLen)
java.lang.String	toString(Partition.PrintType kind)
int	universeSize()

Methods inherited from interface org.uacalc.alg.conlat.BinaryRelation

compose, getPairs

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator

Methods inherited from interface java.lang.Comparable

compareTo

Method Detail

toArray

int[] toArray()

This returns the array representation of the partition as described in Ralph Freese's notes on partitions, see http://www.math.hawaii.edu/~ralph/Notes/.

joinBlocks

void joinBlocks(int r,
                int s)

Note r and s must be roots and distinct.

join

Partition join(Partition part2)

meet

Partition meet(Partition part2)

leq

boolean leq(Partition part2)

normalize

void normalize()

universeSize

int universeSize()

Specified by:

universeSize in interface BinaryRelation

numberOfBlocks

int numberOfBlocks()

isRelated

boolean isRelated(int i,
                  int j)

Specified by:

isRelated in interface BinaryRelation

toString

java.lang.String toString(Partition.PrintType kind)

toString

java.lang.String toString(int maxLen)

representative

int representative(int i)

isRepresentative

boolean isRepresentative(int i)

representatives

int[] representatives()

blockIndex

int blockIndex(int i)

getBlocks

int[][] getBlocks()

isInitialLexRepresentative

boolean isInitialLexRepresentative()

isZero

boolean isZero()