public class ProofApi
extends java.lang.Object
Constructor and Description |
---|
ProofApi(Proof proof,
KeYEnvironment<?> currentEnv) |
Modifier and Type | Method and Description |
---|---|
KeYEnvironment<?> |
getEnv() |
ProjectedNode |
getFirstOpenGoal() |
java.util.List<ProjectedNode> |
getOpenGoals() |
Proof |
getProof() |
java.util.Set<java.lang.String> |
getRules() |
ScriptApi |
getScriptApi() |
void |
saveProof()
Save current Proof-> ProofApi
|
public ProofApi(Proof proof, KeYEnvironment<?> currentEnv)
public ScriptApi getScriptApi()
public void saveProof() throws java.io.IOException
java.io.IOException
public KeYEnvironment<?> getEnv()
public Proof getProof()
public java.util.List<ProjectedNode> getOpenGoals()
public ProjectedNode getFirstOpenGoal()
public java.util.Set<java.lang.String> getRules()
Copyright © 2003-2019 The KeY-Project.