public static class SettingsCommand.Parameters
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.lang.Boolean |
oneStepSimplification
One Step Simplification parameter
|
java.util.Map<java.lang.String,java.lang.String> |
others
Variable other parameters
|
java.lang.Integer |
proofSteps
Maximum number of proof steps parameter
|
Constructor and Description |
---|
Parameters() |