public class Options
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static class |
Options.BlockSplitting |
static class |
Options.OutputFormat |
| Modifier and Type | Field and Description |
|---|---|
Options.BlockSplitting |
blockSplitting |
int |
numIterations |
Options.OutputFormat |
outputType |
| Constructor and Description |
|---|
Options() |
Options(Options.OutputFormat outputType,
Options.BlockSplitting blockSplitting,
int numIterations) |
public final int numIterations
public final Options.BlockSplitting blockSplitting
public final Options.OutputFormat outputType
public Options(Options.OutputFormat outputType, Options.BlockSplitting blockSplitting, int numIterations)
public Options()