public class EditTreeBuilder
extends java.lang.Object
implements java.io.Serializable
| Constructor and Description |
|---|
EditTreeBuilder(java.util.Random random,
int max_depth) |
| Modifier and Type | Method and Description |
|---|---|
EditTree |
build(java.lang.String input,
int input_start,
int input_end,
java.lang.String output,
int output_start,
int output_end,
int depth) |
EditTree |
build(java.lang.String input,
java.lang.String output) |
Counter<java.lang.String> |
getCounter() |
void |
setCounter(Counter<java.lang.String> counter) |
public EditTree build(java.lang.String input, java.lang.String output)
public Counter<java.lang.String> getCounter()
public EditTree build(java.lang.String input, int input_start, int input_end, java.lang.String output, int output_start, int output_end, int depth)
public void setCounter(Counter<java.lang.String> counter)