Property | Type | Description | |
---|---|---|---|
_lookAhead | int | ||
lookAheadBuffer | AIMA.Core.Logic.Common.Token[] |
Method | Description | |
---|---|---|
FOLParser ( |
||
FOLParser ( |
||
getFOLDomain ( ) : |
||
parse ( String s ) : Sentence | ||
parseConstant ( ) : Term | ||
parseFunction ( ) : Term | ||
parseNotSentence ( ) : Sentence | ||
parsePredicate ( ) : Sentence | ||
parseTermEquality ( ) : Sentence | ||
parseVariable ( ) : Term | ||
setUpToParse ( String s ) : void |
Method | Description | |
---|---|---|
consume ( ) : void | ||
fillLookAheadBuffer ( ) : void | ||
isEndOfInput ( |
||
loadNextTokenFromInput ( ) : void | ||
lookAhead ( int i ) : |
||
match ( String terminalSymbol ) : void |
Method | Description | |
---|---|---|
binaryConnector ( |
||
lParen ( |
||
notToken ( |
||
parseParanthizedSentence ( ) : Sentence | ||
parseQuantifiedSentence ( ) : Sentence | ||
parseSentence ( ) : Sentence | ||
parseTerm ( ) : Term | ||
predicate ( |
||
processTerms ( ) : List |
||
term ( |
public FOLParser ( |
||
domain | ||
return | System |
public getFOLDomain ( ) : |
||
return |
protected isEndOfInput ( |
||
t | ||
return | bool |
protected lookAhead ( int i ) : |
||
i | int | |
return |
protected match ( String terminalSymbol ) : void | ||
terminalSymbol | String | |
return | void |