KeY 2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450

Package de.uka.ilkd.key.logic.sort

This package contains different kinds and implementations subtyping interface Sort.

See: Description

Package de.uka.ilkd.key.logic.sort Description

This package contains different kinds and implementations subtyping interface Sort. Each logic term has an assigned a sort. In order to support special concepts like arrays, objects, primitive types, it is useful to support different kinds of sorts. This allows to distinguish diffent categories of terms by looking on the sort type rather than on the name. In KeY we distinguish formulas from terms by the special sort instance Sort.Formula. Last modified: Tue Nov 26 08:54:55 MET 2002
KeY 2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450