at.jku.risc.stout.nau.data.atom

Interface HasSort<T extends Sort>

All Known Implementing Classes:

Abstraction, Atom, FunctionApplication, FunctionSymbol, NominalTerm, Suspension, Variable

public interface HasSort<T extends Sort>

Interface for classes which may be typed by a Sort.

Author:

Alexander Baumgartner

Method Summary

Methods

Modifier and Type	Method and Description
T	getSort()
void	setSort(T sort)

Method Detail

getSort

T getSort()

setSort

void setSort(T sort)
             throws MalformedSortException

Throws:

MalformedSortException