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

Packages that use Term

org.qedeq.kernel.bo.parser

Parse texts with formulas and terms into parse tree and produce QEDEQ output.

Uses of Term in org.qedeq.kernel.bo.parser

Methods in org.qedeq.kernel.bo.parser that return Term

Term	MathParser.readTerm() Reads (maximal possible) Term from input.

Methods in org.qedeq.kernel.bo.parser with parameters of type Term

void	Term.addArgument(Term term) Add next argument term to operator.

Constructors in org.qedeq.kernel.bo.parser with parameters of type Term

Term(Operator operator, Term firstArgument)
Constructor.