aima.core.logic.fol.parsing

Class FOLLexer

java.lang.Object

aima.core.logic.common.Lexer

aima.core.logic.fol.parsing.FOLLexer

public class FOLLexer
extends Lexer

Author:

Ciaran O'Reilly, Ravi Mohan

Field Summary

Fields inherited from class aima.core.logic.common.Lexer

lookAheadBufferSize

Constructor Summary

Constructors

Constructor and Description
FOLLexer(FOLDomain domain)

Method Summary

Modifier and Type	Method and Description
FOLDomain	getFOLDomain()
Token	nextToken() To be implemented by concrete implementations

Methods inherited from class aima.core.logic.common.Lexer

consume, getCurrentPositionInInput, lookAhead, setInput, setInput

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FOLLexer

public FOLLexer(FOLDomain domain)

Method Detail

getFOLDomain

public FOLDomain getFOLDomain()

nextToken

public Token nextToken()

Description copied from class: Lexer

To be implemented by concrete implementations

Specified by:

nextToken in class Lexer

Returns:

the next token from the input.