org.qedeq.kernel.se.base.module
Interface Term

All Known Implementing Classes:

TermVo

public interface Term

Wraps a term. Such an object is build out of Elements.

Version:

$Revision: 1.3 $

Author:

Michael Meyling

Method Summary

Element

getElement() Get term.

Method Detail

getElement

Element getElement()

Get term.

Returns:

Word that should be a formula or term.