Interface VariableExpr

All Known Subinterfaces:
ExclusiveTupleExpr, ExclusiveTupleExprRenderer, FedXTupleExpr, StatementTupleExpr
All Known Implementing Classes:
CheckStatementPattern, ExclusiveArbitraryLengthPath, ExclusiveGroup, ExclusiveStatement, FedXArbitraryLengthPath, FedXStatementPattern, PassThroughTupleExpr, StatementSourcePattern
public interface VariableExpr
Interface for algebra nodes that can return the free variables of the expression.
Author:
Andreas Schwarte
See Also:

  • Method Summary

    Modifier and Type
    Method
    Description
    List<String>
    getFreeVars()
     

  • Method Details

    • getFreeVars

      List<String> getFreeVars()
      Returns:
      a list of free (i.e. unbound) variables in this expression