Package | Description |
---|---|
de.uka.ilkd.key.proof.init |
This package contains classes handling prover initialisation.
|
de.uka.ilkd.key.util |
This package is a grab bag of miscellaneous useful code fragments.
|
Modifier and Type | Method and Description |
---|---|
OneStepSimplifier |
JavaProfile.getOneStepSimpilifier()
Returns the
OneStepSimplifier instance which should be used
in this JavaProfile . |
Modifier and Type | Method and Description |
---|---|
static OneStepSimplifier |
MiscTools.findOneStepSimplifier(Profile profile)
Returns the
OneStepSimplifier used in the given Profile . |
static OneStepSimplifier |
MiscTools.findOneStepSimplifier(Proof proof)
Returns the
OneStepSimplifier used in the given Proof . |
Copyright © 2003-2019 The KeY-Project.