ai.krr.propositions
Class IntEncodedClause.IntEncodedClauseList

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractList<E>
          java.util.ArrayList<IntEncodedClause>
              ai.krr.propositions.IntEncodedClause.IntEncodedClauseList

All Implemented Interfaces:

inf.compilers.SyntaxAdaptable, java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<IntEncodedClause>, java.util.Collection<IntEncodedClause>, java.util.List<IntEncodedClause>, java.util.RandomAccess

Enclosing class:

IntEncodedClause

protected static class IntEncodedClause.IntEncodedClauseList
extends java.util.ArrayList<IntEncodedClause>
implements inf.compilers.SyntaxAdaptable

See Also:

Serialized Form

Field Summary

protected int

maxProp

Fields inherited from class java.util.AbstractList

modCount

Constructor Summary

IntEncodedClause.IntEncodedClauseList(int initialCapacity)

Method Summary

boolean	add(IntEncodedClause iecl)
int	getMaxProposition()
void	prettyPrint(int indent, java.io.Writer w, inf.compilers.SyntaxAdaptor sa)
static IntEncodedClause.IntEncodedClauseList	read(java.io.Reader r, inf.compilers.SyntaxAdaptor<IntEncodedClause.IntEncodedClauseList> sa)
void	write(java.io.Writer w, inf.compilers.SyntaxAdaptor sa)

Methods inherited from class java.util.ArrayList

add, addAll, addAll, clear, clone, contains, ensureCapacity, get, indexOf, isEmpty, lastIndexOf, remove, 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, 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, removeAll, retainAll, subList

Field Detail

maxProp

protected int maxProp

Constructor Detail

IntEncodedClause.IntEncodedClauseList

public IntEncodedClause.IntEncodedClauseList(int initialCapacity)

Method Detail

write

public void write(java.io.Writer w,
                  inf.compilers.SyntaxAdaptor sa)
           throws inf.compilers.ExpressivenessException,
                  java.io.IOException

Specified by:

write in interface inf.compilers.SyntaxAdaptable

Throws:

inf.compilers.ExpressivenessException

java.io.IOException

prettyPrint

public void prettyPrint(int indent,
                        java.io.Writer w,
                        inf.compilers.SyntaxAdaptor sa)
                 throws inf.compilers.ExpressivenessException,
                        java.io.IOException

Specified by:

prettyPrint in interface inf.compilers.SyntaxAdaptable

Throws:

inf.compilers.ExpressivenessException

java.io.IOException

getMaxProposition

public int getMaxProposition()

add

public boolean add(IntEncodedClause iecl)

Specified by:

add in interface java.util.Collection<IntEncodedClause>

Specified by:

add in interface java.util.List<IntEncodedClause>

Overrides:

add in class java.util.ArrayList<IntEncodedClause>

read

public static IntEncodedClause.IntEncodedClauseList read(java.io.Reader r,
                                                         inf.compilers.SyntaxAdaptor<IntEncodedClause.IntEncodedClauseList> sa)
                                                  throws inf.compilers.ExpressivenessException,
                                                         java.text.ParseException,
                                                         java.io.IOException

Throws:

inf.compilers.ExpressivenessException

java.text.ParseException

java.io.IOException