orbital.logic.sign.type
Interface Typed

All Known Subinterfaces:

Expression, Expression.Composite, Formula, Formula.Composite, Symbol

All Known Implementing Classes:

LogicBasis, SymbolBase, UniqueSymbol

public interface Typed

An interface for typed objects. All objects that have an (explicitly modelled) type implement this interface. This especially includes expressions and symbols.

Author:

André Platzer

See Also:

Type

Method Summary

Type	getType() Get the propert type of this object.

Method Detail

getType

Type getType()

Get the propert type of this object. Proper type means the most specific type, not only a supertype.

Returns:

the type τ of this expression in T(Σ)_τ.

Preconditions:

true