ua.gradsoft.termware.set
Class SetOfTerms

java.lang.Object
  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()