de.uka.ilkd.key.macros.scripts

Class SettingsCommand.Parameters

java.lang.Object

de.uka.ilkd.key.macros.scripts.SettingsCommand.Parameters

Enclosing class:

SettingsCommand

public static class SettingsCommand.Parameters
extends java.lang.Object

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
Parameters()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

oneStepSimplification

public java.lang.Boolean oneStepSimplification

One Step Simplification parameter

proofSteps

public java.lang.Integer proofSteps

Maximum number of proof steps parameter

others

public java.util.Map<java.lang.String,java.lang.String> others

Variable other parameters

Constructor Detail

Parameters

public Parameters()