Package | Description |
---|---|
de.uka.ilkd.key.api |
This package gives an high-level entry point to the KeY world.
|
Modifier and Type | Method and Description |
---|---|
ProofApi |
ProofManagementApi.getLoadedProof() |
ProofApi |
ProofManagementApi.startProof(Contract contract) |
ProofApi |
ProofManagementApi.startProof(ProofOblInput contract) |
Constructor and Description |
---|
Matcher(ProofApi api) |
ScriptApi(ProofApi proofApi) |
Copyright © 2003-2019 The KeY-Project.