fmrisc.Proving
Class FreeVariables

java.lang.Object
  extended by fmrisc.Syntax.ASTVisitorBase
      extended by fmrisc.Proving.FreeVariables
All Implemented Interfaces:
ASTVisitor

public class FreeVariables
extends ASTVisitorBase

Compute the free variables of an expression.


Constructor Summary
FreeVariables()
           
 
Method Summary
static java.util.Vector compute(Expression exp)
          Compute free variables of expression.
 
Methods inherited from class fmrisc.Syntax.ASTVisitorBase
visit
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FreeVariables

public FreeVariables()
Method Detail

compute

public static java.util.Vector compute(Expression exp)
Compute free variables of expression.

Parameters:
exp - an expression.
Returns:
a vector of ValueSymbol objects representing the free variables of the expression (each symbol occurs once in the vector).