org.uacalc.alg.sublat

Class BasicSet

java.lang.Object

org.uacalc.util.IntArray

org.uacalc.alg.sublat.BasicSet

All Implemented Interfaces:

java.lang.Cloneable, java.lang.Comparable

public class BasicSet
extends IntArray
implements java.lang.Comparable

This class implement the basic set operations on the set {0, 1, ..., n-1}.

Version:

$Id$

Author:

Ralph Freese

Field Summary

Fields

Modifier and Type	Field and Description
static BasicSet	EMPTY_SET

Fields inherited from class org.uacalc.util.IntArray

array, size

Constructor Summary

Constructors

Constructor and Description
BasicSet(int[] set)

Method Summary

Modifier and Type	Method and Description
int	compareTo(java.lang.Object o) The order of a linear extension respecting rank.
boolean	contains(int i)
BasicSet	intersection(BasicSet set2)
static BasicSet	intersection(BasicSet set1, BasicSet set2)
boolean	leq(BasicSet set2) Is this a subset of set2.
static boolean	leq(int[] u, int[] v) Is u a subset of v.
void	normalize() Put the array in ascending order.
BasicSet	setDifference(BasicSet set2) Set difference of this and set2.
java.lang.String	toString(SmallAlgebra alg) Print this subset using alg's elements.
BasicSet	union(BasicSet set2)
static BasicSet	union(BasicSet set1, BasicSet set2)

Methods inherited from class org.uacalc.util.IntArray

clone, equalIntArrays, equals, get, getArray, hashCode, intArrayToString, isConstant, isIdempotent, lexicographicComparitor, satisfiesBlocksConstraint, satisfiesCongruenceConstraint, satisfiesSetConstraint, satisfiesValuesConstraint, set, setIntArray, stringToArray, toArray, toString, universeSize

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

EMPTY_SET

public static final BasicSet EMPTY_SET

Constructor Detail

BasicSet

public BasicSet(int[] set)

Method Detail

normalize

public void normalize()

Put the array in ascending order. This modifies this.array.

compareTo

public int compareTo(java.lang.Object o)

The order of a linear extension respecting rank. It first uses size and then lexicographic order.

Specified by:

compareTo in interface java.lang.Comparable

leq

public boolean leq(BasicSet set2)

Is this a subset of set2. Both are assumed to be sorted.

leq

public static boolean leq(int[] u,
                          int[] v)

Is u a subset of v. Both are assumed to be sorted.

contains

public boolean contains(int i)

setDifference

public BasicSet setDifference(BasicSet set2)

Set difference of this and set2.

intersection

public BasicSet intersection(BasicSet set2)

intersection

public static BasicSet intersection(BasicSet set1,
                                    BasicSet set2)

union

public BasicSet union(BasicSet set2)

union

public static BasicSet union(BasicSet set1,
                             BasicSet set2)

toString

public java.lang.String toString(SmallAlgebra alg)

Print this subset using alg's elements.