at.jku.risc.stout.urauc.data
public class TermAtomList extends Object
TermAtom[]
atoms
int
size
TermAtomList()
TermAtomList(int capacity)
void
add(TermAtom atom)
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public TermAtom[] atoms
public int size
public TermAtomList()
public TermAtomList(int capacity)
public void add(TermAtom atom)