public interface EditTree
extends java.io.Serializable
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
apply(java.lang.String input,
int start,
int end) |
double |
getCost(EditTreeBuilder builder) |
int |
getFixedInputLength() |
int |
getFixedOutputLength() |
void |
increment(Counter<java.lang.String> counter) |
double getCost(EditTreeBuilder builder)
java.lang.String apply(java.lang.String input,
int start,
int end)
void increment(Counter<java.lang.String> counter)
int getFixedInputLength()
int getFixedOutputLength()