org.uacalc.util

Class IntArray

java.lang.Object

org.uacalc.util.IntArray

All Implemented Interfaces:

java.lang.Cloneable

Direct Known Subclasses:

BasicPartition, BasicSet

public class IntArray
extends java.lang.Object
implements java.lang.Cloneable

This class is a wrapper for an array of int's mainly so we can specify the equals and hashCode methods.

Version:

$Id$

Author:

Ralph Freese

Field Summary

Fields

Modifier and Type	Field and Description
protected int[]	array
protected int	size

Constructor Summary

Constructors

Constructor and Description
IntArray()
IntArray(int size)
IntArray(int[] array)

Method Summary

Modifier and Type	Method and Description
java.lang.Object	clone()
static boolean	equalIntArrays(int[] u, int[] v)
boolean	equals(java.lang.Object obj) Checks if this intArray is equal on the indices of each block and has the values specified by values.
int	get(int i)
int[]	getArray()
int	hashCode()
static java.lang.String	intArrayToString(int[] array)
boolean	isConstant()
boolean	isIdempotent() Test if this represents an idempotent function; that is, one satisfying the equation f(f(x)) ≈ f(x).
static java.util.Comparator<IntArray>	lexicographicComparitor()
boolean	satisfiesBlocksConstraint(int[][] blocks) Test if the intArray is constant on each block of the partition defined by blocks.
boolean	satisfiesCongruenceConstraint(int index, Partition alpha, int elemIndex) Test if this IntArray's value at index is congruent mod alpha to the element with index elemIndex.
boolean	satisfiesSetConstraint(int index, java.util.Set<java.lang.Integer> possibleValues) Test if this IntArray value at index is in a set of possibleValues.
boolean	satisfiesValuesConstraint(int[][] values) Test if this satisfies array[i] = v for each [i,v] in values.
void	set(int index, int value)
void	setIntArray(int[] v)
static int[]	stringToArray(java.lang.String str) If str is a sequence of ints separated by either commas or spaces, this puts them into an array.
int[]	toArray()
java.lang.String	toString()
int	universeSize()

Methods inherited from class java.lang.Object

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

Field Detail

size

protected int size

array

protected int[] array

Constructor Detail

IntArray

public IntArray()

IntArray

public IntArray(int[] array)

IntArray

public IntArray(int size)

Method Detail

satisfiesBlocksConstraint

public boolean satisfiesBlocksConstraint(int[][] blocks)

Test if the intArray is constant on each block of the partition defined by blocks.

Parameters:

blocks - the blocks of a partition on the index set

Returns:

true if the condition is satisfied

satisfiesValuesConstraint

public boolean satisfiesValuesConstraint(int[][] values)

Test if this satisfies array[i] = v for each [i,v] in values.

Parameters:

values - an array of pairs [i,v] specifying array[i] = v

Returns:

true if the condition is satisfied

satisfiesSetConstraint

public boolean satisfiesSetConstraint(int index,
                                      java.util.Set<java.lang.Integer> possibleValues)

Test if this IntArray value at index is in a set of possibleValues.

Parameters:

index - the index to test

possibleValues - a set of possible values

Returns:

satisfiesCongruenceConstraint

public boolean satisfiesCongruenceConstraint(int index,
                                             Partition alpha,
                                             int elemIndex)

Test if this IntArray's value at index is congruent mod alpha to the element with index elemIndex.

Parameters:

index -

alpha -

elemIndex -

Returns:

equals

public final boolean equals(java.lang.Object obj)

Checks if this intArray is equal on the indices of each block and has the values specified by values.

Overrides:

equals in class java.lang.Object

Parameters:

blocks - an array of the level blocks

values - an array of pairs [i,v] specifying array[i] = v

Returns:

true if the condition is satisfied

hashCode

public final int hashCode()

Overrides:

hashCode in class java.lang.Object

toArray

public final int[] toArray()

getArray

public final int[] getArray()

universeSize

public final int universeSize()

setIntArray

public final void setIntArray(int[] v)

get

public final int get(int i)

set

public final void set(int index,
                      int value)

isIdempotent

public boolean isIdempotent()

Test if this represents an idempotent function; that is, one satisfying the equation f(f(x)) ≈ f(x).

Returns:

true iff f(f(x)) = f(x) for all 0 ≤ x < size.

isConstant

public boolean isConstant()

lexicographicComparitor

public static java.util.Comparator<IntArray> lexicographicComparitor()

clone

public java.lang.Object clone()

Overrides:

clone in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

intArrayToString

public static final java.lang.String intArrayToString(int[] array)

equalIntArrays

public static final boolean equalIntArrays(int[] u,
                                           int[] v)

stringToArray

public static int[] stringToArray(java.lang.String str)

If str is a sequence of ints separated by either commas or spaces, this puts them into an array.

Parameters:

str -

Returns: