aima.logic.fol.parsing
Class FOLLexer

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

public class FOLLexer
extends Lexer

Author:

Ravi Mohan

Field Summary

Fields inherited from class aima.logic.common.Lexer

input, lookAhead, lookAheadBuffer

Constructor Summary

FOLLexer(FOLDomain domain)

Method Summary

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

nextToken

public Token nextToken()

Specified by:

nextToken in class Lexer