Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
Hilbert II - Version 0.03.08
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

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.2 $

Method Summary
 Element getElement()
          Get term.
 

Method Detail

getElement

public Element getElement()
Get term.

Returns:
Word that should be a formula or term.
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
Hilbert II - Version 0.03.08
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD
©left GNU General Public Licence
All Rights Reserved.