|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
| Class Summary | |
|---|---|
| AST | Umbrella owner and abstract syntax tree node factory. |
| ASTMatcher | |
| ASTNode | |
| ASTVisitor | |
| KIFComment | |
| KIFConjunction | |
| KIFDisjunction | |
| KIFForm | |
| KIFFunTerm | |
| KIFImplication | |
| KIFIndVar | |
| KIFLogConst | |
| KIFLogSent | |
| KIFNegation | |
| KIFObjConst | |
| KIFOperator | |
| KIFRelSent | |
| KIFSent | |
| KIFSeq<T extends ASTNode> | |
| KIFTerm | |
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||