C# Class AIMA.Core.Logic.FOL.Parsing.FOLParser

Show file Open project: PaulMineau/AIMA.Net Class Usage Examples

Protected Properties

Property	Type	Description
_lookAhead	int
lookAheadBuffer	AIMA.Core.Logic.Common.Token[]

Public Methods

Method	Description
FOLParser ( FOLDomain domain ) : System
FOLParser ( FOLLexer lexer ) : System
getFOLDomain ( ) : FOLDomain
parse ( String s ) : Sentence
parseConstant ( ) : Term
parseFunction ( ) : Term
parseNotSentence ( ) : Sentence
parsePredicate ( ) : Sentence
parseTermEquality ( ) : Sentence
parseVariable ( ) : Term
setUpToParse ( String s ) : void

Protected Methods

Method	Description
consume ( ) : void
fillLookAheadBuffer ( ) : void
isEndOfInput ( Token t ) : bool
loadNextTokenFromInput ( ) : void
lookAhead ( int i ) : Token
match ( String terminalSymbol ) : void

Private Methods

Method	Description
binaryConnector ( Token t ) : bool
lParen ( Token t ) : bool
notToken ( Token t ) : bool
parseParanthizedSentence ( ) : Sentence
parseQuantifiedSentence ( ) : Sentence
parseSentence ( ) : Sentence
parseTerm ( ) : Term
predicate ( Token t ) : bool
processTerms ( ) : List
term ( Token t ) : bool

Method Details

FOLParser() public method

public FOLParser ( FOLDomain domain ) : System
domain	AIMA.Core.Logic.FOL.Domain.FOLDomain
return	System

FOLParser() public method

public FOLParser ( FOLLexer lexer ) : System
lexer	FOLLexer
return	System

consume() protected method

protected consume ( ) : void
return	void

fillLookAheadBuffer() protected method

protected fillLookAheadBuffer ( ) : void
return	void

getFOLDomain() public method

public getFOLDomain ( ) : FOLDomain
return	AIMA.Core.Logic.FOL.Domain.FOLDomain

isEndOfInput() protected method

protected isEndOfInput ( Token t ) : bool
t	AIMA.Core.Logic.Common.Token
return	bool

loadNextTokenFromInput() protected method

protected loadNextTokenFromInput ( ) : void
return	void

lookAhead() protected method

protected lookAhead ( int i ) : Token
i	int
return	AIMA.Core.Logic.Common.Token

match() protected method

protected match ( String terminalSymbol ) : void
terminalSymbol	String
return	void

parse() public method

public parse ( String s ) : Sentence
s	String
return	Sentence

parseConstant() public method

public parseConstant ( ) : Term
return	Term

parseFunction() public method

public parseFunction ( ) : Term
return	Term

parseNotSentence() public method

public parseNotSentence ( ) : Sentence
return	Sentence

parsePredicate() public method

public parsePredicate ( ) : Sentence
return	Sentence

parseTermEquality() public method

public parseTermEquality ( ) : Sentence
return	Sentence

parseVariable() public method

public parseVariable ( ) : Term
return	Term

setUpToParse() public method

public setUpToParse ( String s ) : void
s	String
return	void

Property Details

_lookAhead protected property

protected int _lookAhead
return	int

lookAheadBuffer protected property

protected Token[],AIMA.Core.Logic.Common lookAheadBuffer
return	AIMA.Core.Logic.Common.Token[]