Hilbert II - Version 0.03.04

Uses of Class
org.qedeq.kernel.parser.Term

Packages that use Term
org.qedeq.kernel.parser Parse texts with formulas and terms into parse tree and produce QEDEQ output.  
 

Uses of Term in org.qedeq.kernel.parser
 

Methods in org.qedeq.kernel.parser that return Term
 Term MathParser.readTerm()
          Reads (maximal possible) Term from input.
 

Methods in org.qedeq.kernel.parser with parameters of type Term
 void Term.addArgument(Term term)
          Add next argument term to operator.
 

Constructors in org.qedeq.kernel.parser with parameters of type Term
Term(Operator operator, Term firstArgument)
          Constructor.
 


Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.