Interface VariableExpr

    • Method Detail

      • getFreeVars

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