Package | Description |
---|---|
de.uka.ilkd.key.control | |
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.informationflow.macros | |
de.uka.ilkd.key.macros | |
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.
|
de.uka.ilkd.key.prover | |
de.uka.ilkd.key.prover.impl | |
de.uka.ilkd.key.settings | |
de.uka.ilkd.key.strategy |
This package contains classes implementing the proof search strategies of KeY.
|
de.uka.ilkd.key.symbolic_execution.profile | |
de.uka.ilkd.key.symbolic_execution.strategy | |
de.uka.ilkd.key.ui | |
de.uka.ilkd.key.util |
This package is a grab bag of miscellaneous useful code fragments.
|
Class and Description |
---|
ProverTaskListener
Listener for longer tasks, which may be run in a separate worker thread.
|
TaskFinishedInfo
An information object with additional information about the
finished task.
|
TaskStartedInfo
Used as an event object to inform about a prover task
that is just about to start.
|
Class and Description |
---|
ProverTaskListener
Listener for longer tasks, which may be run in a separate worker thread.
|
TaskFinishedInfo
An information object with additional information about the
finished task.
|
TaskStartedInfo
Used as an event object to inform about a prover task
that is just about to start.
|
Class and Description |
---|
ProverTaskListener
Listener for longer tasks, which may be run in a separate worker thread.
|
Class and Description |
---|
ProverTaskListener
Listener for longer tasks, which may be run in a separate worker thread.
|
TaskFinishedInfo
An information object with additional information about the
finished task.
|
TaskStartedInfo
Used as an event object to inform about a prover task
that is just about to start.
|
Class and Description |
---|
GoalChooserBuilder
interface to be implemented by builders returning a
goal chooser
|
Class and Description |
---|
ProverTaskListener
Listener for longer tasks, which may be run in a separate worker thread.
|
TaskFinishedInfo
An information object with additional information about the
finished task.
|
TaskStartedInfo
Used as an event object to inform about a prover task
that is just about to start.
|
Class and Description |
---|
GoalChooser
Interface to be implemented by classes in order to customize the goal selection
strategy of the automatic prover environment.
|
GoalChooserBuilder
interface to be implemented by builders returning a
goal chooser
|
ProverTaskListener
Listener for longer tasks, which may be run in a separate worker thread.
|
TaskFinishedInfo
An information object with additional information about the
finished task.
|
TaskStartedInfo
Used as an event object to inform about a prover task
that is just about to start.
|
TaskStartedInfo.TaskKind |
Class and Description |
---|
GoalChooser
Interface to be implemented by classes in order to customize the goal selection
strategy of the automatic prover environment.
|
GoalChooserBuilder
interface to be implemented by builders returning a
goal chooser
|
ProverCore |
ProverTaskListener
Listener for longer tasks, which may be run in a separate worker thread.
|
StopCondition
Implementation of this interface are used in
ApplyStrategy to
determine if the strategy should stop or continue. |
TaskFinishedInfo
An information object with additional information about the
finished task.
|
TaskStartedInfo
Used as an event object to inform about a prover task
that is just about to start.
|
TaskStartedInfo.TaskKind |
Class and Description |
---|
GoalChooser
Interface to be implemented by classes in order to customize the goal selection
strategy of the automatic prover environment.
|
StopCondition
Implementation of this interface are used in
ApplyStrategy to
determine if the strategy should stop or continue. |
Class and Description |
---|
StopCondition
Implementation of this interface are used in
ApplyStrategy to
determine if the strategy should stop or continue. |
Class and Description |
---|
GoalChooserBuilder
interface to be implemented by builders returning a
goal chooser
|
Class and Description |
---|
GoalChooser
Interface to be implemented by classes in order to customize the goal selection
strategy of the automatic prover environment.
|
GoalChooserBuilder
interface to be implemented by builders returning a
goal chooser
|
StopCondition
Implementation of this interface are used in
ApplyStrategy to
determine if the strategy should stop or continue. |
Class and Description |
---|
ProverTaskListener
Listener for longer tasks, which may be run in a separate worker thread.
|
TaskFinishedInfo
An information object with additional information about the
finished task.
|
TaskStartedInfo
Used as an event object to inform about a prover task
that is just about to start.
|
Class and Description |
---|
ProverTaskListener
Listener for longer tasks, which may be run in a separate worker thread.
|
Copyright © 2003-2019 The KeY-Project.