C# Класс AIMA.Core.Logic.FOL.Parsing.FOLParser

Показать файл Открыть проект Примеры использования класса

Защищенные свойства (Protected)

Свойство Тип Описание
_lookAhead int
lookAheadBuffer AIMA.Core.Logic.Common.Token[]

Открытые методы

Метод Описание
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

Защищенные методы

Метод Описание
consume ( ) : void
fillLookAheadBuffer ( ) : void
isEndOfInput ( Token t ) : bool
loadNextTokenFromInput ( ) : void
lookAhead ( int i ) : Token
match ( String terminalSymbol ) : void

Приватные методы

Метод Описание
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

Описание методов

FOLParser() публичный Метод

public FOLParser ( FOLDomain domain ) : System
domain AIMA.Core.Logic.FOL.Domain.FOLDomain
Результат System

FOLParser() публичный Метод

public FOLParser ( FOLLexer lexer ) : System
lexer FOLLexer
Результат System

consume() защищенный Метод

protected consume ( ) : void
Результат void

fillLookAheadBuffer() защищенный Метод

protected fillLookAheadBuffer ( ) : void
Результат void

getFOLDomain() публичный Метод

public getFOLDomain ( ) : FOLDomain
Результат AIMA.Core.Logic.FOL.Domain.FOLDomain

isEndOfInput() защищенный Метод

protected isEndOfInput ( Token t ) : bool
t AIMA.Core.Logic.Common.Token
Результат bool

loadNextTokenFromInput() защищенный Метод

protected loadNextTokenFromInput ( ) : void
Результат void

lookAhead() защищенный Метод

protected lookAhead ( int i ) : Token
i int
Результат AIMA.Core.Logic.Common.Token

match() защищенный Метод

protected match ( String terminalSymbol ) : void
terminalSymbol String
Результат void

parse() публичный Метод

public parse ( String s ) : Sentence
s String
Результат Sentence

parseConstant() публичный Метод

public parseConstant ( ) : Term
Результат Term

parseFunction() публичный Метод

public parseFunction ( ) : Term
Результат Term

parseNotSentence() публичный Метод

public parseNotSentence ( ) : Sentence
Результат Sentence

parsePredicate() публичный Метод

public parsePredicate ( ) : Sentence
Результат Sentence

parseTermEquality() публичный Метод

public parseTermEquality ( ) : Sentence
Результат Sentence

parseVariable() публичный Метод

public parseVariable ( ) : Term
Результат Term

setUpToParse() публичный Метод

public setUpToParse ( String s ) : void
s String
Результат void

Описание свойств

_lookAhead защищенное свойство

protected int _lookAhead
Результат int

lookAheadBuffer защищенное свойство

protected Token[],AIMA.Core.Logic.Common lookAheadBuffer
Результат AIMA.Core.Logic.Common.Token[]