| de.uka.ilkd.key.logic.ldt |
|
contains the language data types for integer arithmetic, the Java boolean and Object type.
Last modified: Tue Nov 26 08:54:55 MET 2002
|
| Java Source File Name | Type | Comment |
| AbstractIntegerLDT.java | Class | This class inherits from LDT and implements all method that are
necessary to handle integers, shorts and bytes. |
| ADT.java | Class | This class represents an Abstract Data Type as needed for the
generation of counterexamples. |
| BooleanLDT.java | Class | This class inherits from LDT and implements all method that are
necessary to handle the primitive type boolean. |
| ByteLDT.java | Class | |
| CharLDT.java | Class | |
| IntegerDomainLDT.java | Class | |
| IntegerLDT.java | Class | |
| IntLDT.java | Class | |
| LDT.java | Class | this class extends the class ADT and is used to represent language
datatype models e.g. |
| LongLDT.java | Class | |
| ShortLDT.java | Class | |