public static class SetCommand.Parameters
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.lang.String |
key
Normal key-value setting -- key
|
java.lang.Boolean |
oneStepSimplification
One Step Simplification parameter
|
java.lang.Integer |
proofSteps
Maximum number of proof steps parameter
|
java.lang.String |
value
Normal key-value setting -- value
|
Constructor and Description |
---|
Parameters() |
public java.lang.Boolean oneStepSimplification
public java.lang.Integer proofSteps
public java.lang.String key
public java.lang.String value
Copyright © 2003-2019 The KeY-Project.