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()
Copyright © 2019. All Rights Reserved.