aima.logic.fol.parsing
Class FOLLexer

java.lang.Object
  aima.logic.common.Lexer
      aima.logic.fol.parsing.FOLLexer

public class FOLLexer
extends Lexer

Field Summary

Fields inherited from class aima.logic.common.Lexer

input, lookAhead, lookAheadBuffer

Constructor Summary

FOLLexer(FOLDomain domain)

Method Summary

FOLDomain	getFOLDomain()
Token	nextToken()

Methods inherited from class aima.logic.common.Lexer

clear, consume, fillLookAheadBuffer, isEndOfFile, loadNextCharacterFromInput, lookAhead, 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()

Specified by:

nextToken in class Lexer