Package | Description |
---|---|
de.uka.ilkd.key.api |
This package gives an high-level entry point to the KeY world.
|
Class and Description |
---|
ProjectedNode
Wrapper for a proof node with utilities methods to
|
ProofApi |
ProofMacroApi
This class provides access to the proof script commands.
|
ProofManagementApi
This class serves as a facade to all functionalities that are needed for
proof management, i.e., loading proof files, retrieving the proof obligations
|
ProofScriptCommandApi
This class provides access to the proof script commands.
|
ProofScriptCommandCall |
ScriptApi
This API class offers methods to apply script commands and match commands
|
ScriptResult
Object that represents one result goal of a script command
It holds a reference to its parent node and to the list of variables and their values for this result
Created by S.
|
ScriptResults |
SearchNode
Created by sarah on 5/2/17.
|
VariableAssignments
Class to represent current Variable assigments.
|
VariableAssignments.VarType |
Copyright © 2003-2019 The KeY-Project.