$ A C D E F G H I J M N O P R S T U V W

H

HasSort<T extends Sort> - Interface in at.jku.risc.stout.nau.data.atom

Interface for classes which may be typed by a Sort.

$ A C D E F G H I J M N O P R S T U V W