public class ReplaceNode extends java.lang.Object implements EditTree
| Constructor and Description |
|---|
ReplaceNode(java.lang.String input,
java.lang.String output) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
apply(java.lang.String input,
int start,
int end) |
boolean |
equals(java.lang.Object obj) |
double |
getCost(EditTreeBuilder builder) |
int |
getFixedInputLength() |
int |
getFixedOutputLength() |
int |
hashCode() |
void |
increment(Counter<java.lang.String> counter) |
java.lang.String |
toString() |
public java.lang.String toString()
toString in class java.lang.Objectpublic double getCost(EditTreeBuilder builder)
public void increment(Counter<java.lang.String> counter)
public java.lang.String apply(java.lang.String input,
int start,
int end)
public int hashCode()
hashCode in class java.lang.Objectpublic boolean equals(java.lang.Object obj)
equals in class java.lang.Objectpublic int getFixedInputLength()
getFixedInputLength in interface EditTreepublic int getFixedOutputLength()
getFixedOutputLength in interface EditTree