See: Description
Class | Description |
---|---|
KeYApi |
The Entry Point.
|
Matcher |
Matcher to deal with matching a string pattern against a sequent
|
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<T> | |
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.
|
Enum | Description |
---|---|
VariableAssignments.VarType |
KeYApi
Copyright © 2003-2019 The KeY-Project.