ua.gradsoft.termware.util
Class FVSet

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