Class FunctionDefinition

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

All Implemented Interfaces:

Cloneable, Collection, List, Serializable

public class FunctionDefinition

extends ArrayList

This class represents a definition of a function as a list of rewrite axiom.

Author:

P. URSO

See Also:

RewriteRule, RuleTable, Serialized Form

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

FunctionDefinition()

Method Summary

RewriteRule

getAxiom(int i) Returns the definition at the specified position in 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, toString

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

FunctionDefinition

public FunctionDefinition()

Method Detail

getAxiom

public RewriteRule getAxiom(int i)

Returns the definition at the specified position in this list.

Parameters:

index - index of rewrite rule to return.

Returns:

the rewrite axiom at the specified position in this list.