edu.udo.cs.ie.cowbots.logic.solver
Class SourceList

Package class diagram package SourceList
java.lang.Object
  extended by java.util.AbstractCollection<E>
      extended by java.util.AbstractList<E>
          extended by java.util.AbstractSequentialList<E>
              extended by java.util.LinkedList<ELPSource>
                  extended by edu.udo.cs.ie.cowbots.logic.solver.SourceList
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<ELPSource>, java.util.Collection<ELPSource>, java.util.Deque<ELPSource>, java.util.List<ELPSource>, java.util.Queue<ELPSource>

public class SourceList
extends java.util.LinkedList<ELPSource>

container class for ELPSource instances

See Also:
Serialized Form

Field Summary
 
Fields inherited from class java.util.AbstractList
modCount
 
Constructor Summary
SourceList()
           
 
Method Summary
 void add(java.util.Collection<ELPLiteral> facts)
           
 void add(ELP elp)
           
 void add(java.lang.String fileName)
           
 void saveAs(java.lang.String filename)
           
 
Methods inherited from class java.util.LinkedList
add, add, addAll, addAll, addFirst, addLast, clear, clone, contains, descendingIterator, element, get, getFirst, getLast, indexOf, lastIndexOf, listIterator, offer, offerFirst, offerLast, peek, peekFirst, peekLast, poll, pollFirst, pollLast, pop, push, remove, remove, remove, removeFirst, removeFirstOccurrence, removeLast, removeLastOccurrence, 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, 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, isEmpty, iterator, listIterator, removeAll, retainAll, subList
 
Methods inherited from interface java.util.Deque
iterator
 

Constructor Detail

SourceList

public SourceList()
Method Detail

add

public void add(ELP elp)

add

public void add(java.util.Collection<ELPLiteral> facts)

add

public void add(java.lang.String fileName)

saveAs

public void saveAs(java.lang.String filename)
            throws java.io.IOException
Throws:
java.io.IOException