프로퍼티 | 타입 | 설명 | |
---|---|---|---|
_lookAhead | int | ||
lookAheadBuffer | AIMA.Core.Logic.Common.Token[] |
메소드 | 설명 | |
---|---|---|
FOLParser ( |
||
FOLParser ( |
||
getFOLDomain ( ) : |
||
parse ( String s ) : Sentence | ||
parseConstant ( ) : Term | ||
parseFunction ( ) : Term | ||
parseNotSentence ( ) : Sentence | ||
parsePredicate ( ) : Sentence | ||
parseTermEquality ( ) : Sentence | ||
parseVariable ( ) : Term | ||
setUpToParse ( String s ) : void |
메소드 | 설명 | |
---|---|---|
consume ( ) : void | ||
fillLookAheadBuffer ( ) : void | ||
isEndOfInput ( |
||
loadNextTokenFromInput ( ) : void | ||
lookAhead ( int i ) : |
||
match ( String terminalSymbol ) : void |
메소드 | 설명 | |
---|---|---|
binaryConnector ( |
||
lParen ( |
||
notToken ( |
||
parseParanthizedSentence ( ) : Sentence | ||
parseQuantifiedSentence ( ) : Sentence | ||
parseSentence ( ) : Sentence | ||
parseTerm ( ) : Term | ||
predicate ( |
||
processTerms ( ) : List |
||
term ( |
public FOLParser ( |
||
domain | ||
리턴 | System |
protected isEndOfInput ( |
||
t | ||
리턴 | bool |