Class ConjectureList

java.lang.Object
  |
  +--java.util.AbstractCollection
        |
        +--java.util.AbstractList
              |
              +--java.util.AbstractSequentialList
                    |
                    +--java.util.LinkedList
                          |
                          +--ConjectureList

All Implemented Interfaces:

Cloneable, Collection, List, Serializable

public class ConjectureList

extends LinkedList

This class represents a list of special clauses

Author:

P. URSO

See Also:

Conjecture, Serialized Form

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

ConjectureList()

Method Summary

Conjecture	getConjecture(int i) Returns the clause at the specified position in this list.
void	print() Prints a representation of this list of conjecture.
void	setTypes() Sets types in each Conjecture.
String	toString() Returns a string representation of this conjecture list.
String	toStringIndent() Returns a string representation of this conjecture list.
String	toStringN() Returns a string representation of this conjecture list.

Methods inherited from class java.util.LinkedList

add, add, addAll, addAll, addFirst, addLast, clear, clone, contains, get, getFirst, getLast, indexOf, lastIndexOf, listIterator, remove, remove, removeFirst, removeLast, set, size, toArray, toArray

Methods inherited from class java.util.AbstractSequentialList

iterator

Methods inherited from class java.util.AbstractList

equals, hashCode, listIterator, removeRange, subList

Methods inherited from class java.util.AbstractCollection

containsAll, isEmpty, 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, isEmpty, iterator, listIterator, removeAll, retainAll, subList

Constructor Detail

ConjectureList

public ConjectureList()

Method Detail

getConjecture

public Conjecture getConjecture(int i)

Returns the clause at the specified position in this list.

Parameters:

index - index of clause to return.

Returns:

the clause at the specified position in this list.

setTypes

public void setTypes()
              throws SemanticException

Sets types in each Conjecture.

print

public void print()

Prints a representation of this list of conjecture.

toStringN

public String toStringN()

Returns a string representation of this conjecture list. The string representation consists of the number of the conjecture and each conjecture separated by new line.

Returns:

a string representation of this list.

toStringIndent

public String toStringIndent()

Returns a string representation of this conjecture list. The string representation consists of each conjecture indented separated by new line.

Returns:

a string representation of this list.

toString

public String toString()

Returns a string representation of this conjecture list. The string representation consists of each conjecture separated by semi-colon and new line.

Overrides:

toString in class AbstractCollection

Returns:

a string representation of this list.