ua.gradsoft.termware.util
Class FVSet

java.lang.Object
  extended by ua.gradsoft.termware.util.FVSet

public final class FVSet
extends Object

set of free variables.


Constructor Summary
FVSet(Term term)
           
 
Method Summary
 boolean empty()
           
 int getMax()
           
 int getMin()
           
 void normalize(int newMin)
           
 void shift(int newMin)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FVSet

public FVSet(Term term)
      throws IncorrectTermException
Throws:
IncorrectTermException
Method Detail

empty

public boolean empty()

getMin

public int getMin()

getMax

public int getMax()

shift

public void shift(int newMin)
           throws FVLimitReachedException,
                  TermWareException
Throws:
FVLimitReachedException
TermWareException

normalize

public void normalize(int newMin)
               throws TermWareException
Throws:
TermWareException