Class EqualList

java.lang.Object
  |
  +--java.util.AbstractCollection
        |
        +--java.util.AbstractList
              |
              +--java.util.ArrayList
                    |
                    +--EqualList

All Implemented Interfaces:

Cloneable, Collection, List, Serializable

public class EqualList

extends ArrayList

This class represents a list of equalities in a clause.

Author:

P. URSO

See Also:

Equality, Serialized Form

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

EqualList()

Method Summary

EqualList	applySubst(Substitution sigma) Applies a substitution map to this list.
Equality	getEquality(int i) Returns the node at the specified position in this list.
boolean	lowerThan(Node node) Tests if each both sides of equalities in this list are lower than a specified term.
String	toString() Returns a string representation of this list.

Methods inherited from class java.util.ArrayList

add, add, addAll, addAll, clear, clone, contains, ensureCapacity, get, indexOf, isEmpty, lastIndexOf, remove, removeRange, set, size, toArray, toArray, trimToSize

Methods inherited from class java.util.AbstractList

equals, hashCode, iterator, listIterator, listIterator, subList

Methods inherited from class java.util.AbstractCollection

containsAll, remove, removeAll, retainAll

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.List

containsAll, equals, hashCode, iterator, listIterator, listIterator, remove, removeAll, retainAll, subList

Constructor Detail

EqualList

public EqualList()

Method Detail

getEquality

public Equality getEquality(int i)

Returns the node at the specified position in this list.

Parameters:

index - index of node to return.

Returns:

the node at the specified position in this list.

applySubst

public EqualList applySubst(Substitution sigma)

Applies a substitution map to this list.

Parameters:

sigma - the substitution.

Returns:

a new list where all the occurrences of origin variables are substitued by theirs images.

lowerThan

public boolean lowerThan(Node node)

Tests if each both sides of equalities in this list are lower than a specified term.

Parameters:

node - the term.

toString

public String toString()

Returns a string representation of this list. The string representation consists of equalities separated by the characters ", ".

Overrides:

toString in class AbstractCollection

Returns:

a string representation of this clause.