Package | Description |
---|---|
de.uka.ilkd.key.java |
This package contains classes that cover the Java programming language.
|
de.uka.ilkd.key.ldt |
This package contains the "language data types" (LDTs) of KeY.
|
de.uka.ilkd.key.pp |
This package contains pretty-printing functionality used by the GUI and for
saving proofs.
|
de.uka.ilkd.key.proof.init |
This package contains classes handling prover initialisation.
|
de.uka.ilkd.key.strategy |
This package contains classes implementing the proof search strategies of KeY.
|
de.uka.ilkd.key.strategy.feature | |
de.uka.ilkd.key.strategy.quantifierHeuristics | |
de.uka.ilkd.key.strategy.termfeature | |
de.uka.ilkd.key.symbolic_execution | |
de.uka.ilkd.key.symbolic_execution.slicing | |
de.uka.ilkd.key.symbolic_execution.strategy | |
de.uka.ilkd.key.symbolic_execution.util |
Class and Description |
---|
BooleanLDT
This class inherits from LDT and implements all method that are
necessary to handle the primitive type boolean.
|
CharListLDT |
HeapLDT
LDT responsible for the "Heap" sort, and the associated "Field" sort.
|
IntegerLDT
This class inherits from LDT and implements all method that are
necessary to handle integers, shorts and bytes.
|
LDT
An "LDT" or "language data type" class corresponds to a standard rule file
shipped with KeY.
|
LocSetLDT |
MapLDT
LDT for maps.
|
PermissionLDT |
SeqLDT |
Class and Description |
---|
LDT
An "LDT" or "language data type" class corresponds to a standard rule file
shipped with KeY.
|
Class and Description |
---|
HeapLDT
LDT responsible for the "Heap" sort, and the associated "Field" sort.
|
Class and Description |
---|
HeapLDT
LDT responsible for the "Heap" sort, and the associated "Field" sort.
|
Class and Description |
---|
IntegerLDT
This class inherits from LDT and implements all method that are
necessary to handle integers, shorts and bytes.
|
Class and Description |
---|
IntegerLDT
This class inherits from LDT and implements all method that are
necessary to handle integers, shorts and bytes.
|
LocSetLDT |
Class and Description |
---|
IntegerLDT
This class inherits from LDT and implements all method that are
necessary to handle integers, shorts and bytes.
|
Class and Description |
---|
HeapLDT
LDT responsible for the "Heap" sort, and the associated "Field" sort.
|
Class and Description |
---|
HeapLDT
LDT responsible for the "Heap" sort, and the associated "Field" sort.
|
Class and Description |
---|
HeapLDT
LDT responsible for the "Heap" sort, and the associated "Field" sort.
|
Class and Description |
---|
HeapLDT
LDT responsible for the "Heap" sort, and the associated "Field" sort.
|
Class and Description |
---|
HeapLDT
LDT responsible for the "Heap" sort, and the associated "Field" sort.
|
Copyright © 2003-2019 The KeY-Project.