ua.gradsoft.termware.set
Class SetOfTerms

java.lang.Object
  extended by ua.gradsoft.termware.set.SetOfTerms

public class SetOfTerms
extends Object

Sorted set of terms.


Constructor Summary
SetOfTerms()
           
 
Method Summary
 void addAlreadySorted(Term t)
          precondition: assumed, that we t is greater, than any of terms in v_.
 Term getAt(int i)
           
 int getSize()
           
 int index(Term t)
           
 void insert(Term t)
           
 boolean isEmpty()
           
 void remove(Term t)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SetOfTerms

public SetOfTerms()
Method Detail

getSize

public int getSize()

getAt

public Term getAt(int i)

index

public int index(Term t)
          throws SubtermNotFoundException
Throws:
SubtermNotFoundException

insert

public void insert(Term t)

remove

public void remove(Term t)

addAlreadySorted

public void addAlreadySorted(Term t)
precondition: assumed, that we t is greater, than any of terms in v_.


isEmpty

public final boolean isEmpty()