Package | Description |
---|---|
de.uka.ilkd.key.nparser | |
de.uka.ilkd.key.proof.init |
This package contains classes handling prover initialisation.
|
de.uka.ilkd.key.proof.io |
Classes related to loading and saving proof files.
|
Modifier and Type | Method and Description |
---|---|
static void |
ProofReplayer.run(org.antlr.v4.runtime.CharStream input,
IProofFileParser prl,
int startLine,
java.net.URL source)
Replays the proof behind the given
input . |
static void |
ProofReplayer.run(org.antlr.v4.runtime.Token token,
org.antlr.v4.runtime.CharStream input,
IProofFileParser prl,
java.net.URL source)
Replays the proof represented by the expression given in the
CharStream after the position of the
token . |
Modifier and Type | Method and Description |
---|---|
void |
KeYUserProblemFile.readProof(IProofFileParser prl)
Reads a saved proof of a .key file.
|
void |
ProblemInitializer.tryReadProof(IProofFileParser pfp,
KeYUserProblemFile kupf) |
Modifier and Type | Class and Description |
---|---|
class |
IntermediatePresentationProofFileParser
Parses a KeY proof file into an intermediate representation.
|
Copyright © 2003-2019 The KeY-Project.