The Meta-Environment API

toolbus
Class AtomList

java.lang.Object
  extended by toolbus.AtomList
All Implemented Interfaces:
java.lang.Iterable<Atom>

public class AtomList
extends java.lang.Object
implements java.lang.Iterable<Atom>


Field Summary
private  java.util.List<Atom> elements
           
 
Constructor Summary
AtomList()
           
AtomList(Atom a)
           
 
Method Summary
private  void addAll(AtomList atomList)
           
 java.util.Iterator<Atom> iterator()
           
 int size()
           
 java.lang.String toString()
           
 AtomList union(AtomList atomList)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

elements

private final java.util.List<Atom> elements
Constructor Detail

AtomList

public AtomList()

AtomList

public AtomList(Atom a)
Method Detail

addAll

private void addAll(AtomList atomList)

union

public AtomList union(AtomList atomList)

iterator

public java.util.Iterator<Atom> iterator()
Specified by:
iterator in interface java.lang.Iterable<Atom>

size

public int size()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

The Meta-Environment API