Skip to content

Commit

Permalink
Remove unused function
Browse files Browse the repository at this point in the history
  • Loading branch information
kna27 committed Jun 5, 2023
1 parent ccfd296 commit 769370a
Showing 1 changed file with 0 additions and 13 deletions.
13 changes: 0 additions & 13 deletions src/main/java/lambda/Function.java
Original file line number Diff line number Diff line change
Expand Up @@ -79,19 +79,6 @@ public boolean hasConflict(Variable oldVar, Expression newExpr) {
return false;
}

/**
* Alpha converts the function to a new name.
*
* @param newName the new name of the variable
* @return the function with the variable renamed
*/
public Function alphaConvert(String newName) {
Function newFunction = this.deepCopy();
newFunction.variable.name = newName;
newFunction.expression.substitute(this.variable, new Variable(newName));
return newFunction;
}

/**
* @return a string representation of the function: (λvariable.expression)
*/
Expand Down

0 comments on commit 769370a

Please sign in to comment.