|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use TermAtom | |
|---|---|
| org.qedeq.kernel.bo.parser | Parse texts with formulas and terms into parse tree and produce QEDEQ output. |
| Uses of TermAtom in org.qedeq.kernel.bo.parser |
|---|
| Constructors in org.qedeq.kernel.bo.parser with parameters of type TermAtom | |
|---|---|
Term(TermAtom atom)
Constructor. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||