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

Afficher le fichier Open project: PaulMineau/AIMA.Net Class Usage Examples

Protected Properties

Свойство	Type	Description
_lookAhead	int
lookAheadBuffer	AIMA.Core.Logic.Common.Token[]

Méthodes publiques

Méthode	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

Méthodes protégées

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

Private Methods

Méthode	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 méthode

public FOLParser ( FOLDomain domain ) : System
domain	AIMA.Core.Logic.FOL.Domain.FOLDomain
Résultat	System

FOLParser() public méthode

public FOLParser ( FOLLexer lexer ) : System
lexer	FOLLexer
Résultat	System

consume() protected méthode

protected consume ( ) : void
Résultat	void

fillLookAheadBuffer() protected méthode

protected fillLookAheadBuffer ( ) : void
Résultat	void

getFOLDomain() public méthode

public getFOLDomain ( ) : FOLDomain
Résultat	AIMA.Core.Logic.FOL.Domain.FOLDomain

isEndOfInput() protected méthode

protected isEndOfInput ( Token t ) : bool
t	AIMA.Core.Logic.Common.Token
Résultat	bool

loadNextTokenFromInput() protected méthode

protected loadNextTokenFromInput ( ) : void
Résultat	void

lookAhead() protected méthode

protected lookAhead ( int i ) : Token
i	int
Résultat	AIMA.Core.Logic.Common.Token

match() protected méthode

protected match ( String terminalSymbol ) : void
terminalSymbol	String
Résultat	void

parse() public méthode

public parse ( String s ) : Sentence
s	String
Résultat	Sentence

parseConstant() public méthode

public parseConstant ( ) : Term
Résultat	Term

parseFunction() public méthode

public parseFunction ( ) : Term
Résultat	Term

parseNotSentence() public méthode

public parseNotSentence ( ) : Sentence
Résultat	Sentence

parsePredicate() public méthode

public parsePredicate ( ) : Sentence
Résultat	Sentence

parseTermEquality() public méthode

public parseTermEquality ( ) : Sentence
Résultat	Sentence

parseVariable() public méthode

public parseVariable ( ) : Term
Résultat	Term

setUpToParse() public méthode

public setUpToParse ( String s ) : void
s	String
Résultat	void

Property Details

_lookAhead protected_oe property

protected int _lookAhead
Résultat	int

lookAheadBuffer protected_oe property

protected Token[],AIMA.Core.Logic.Common lookAheadBuffer
Résultat	AIMA.Core.Logic.Common.Token[]