Hilbert II - Version 0.03.01

org.qedeq.kernel.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.5 $

Method Summary
 Element getElement()
          Get term.
 

Method Detail

getElement

public Element getElement()
Get term.

Returns:
Word that should be a formula or term.

Hilbert II - Version 0.03.01

©left GNU General Public Licence
All Rights Reserved.