ai.planning.strips
Class PddlDomainAdaptor.ParsingContext

java.lang.Object
  ai.planning.strips.PddlDomainAdaptor.ParsingContext

Enclosing class:

PddlDomainAdaptor

public static class PddlDomainAdaptor.ParsingContext
extends java.lang.Object

Field Summary

protected java.util.Map<java.lang.String,ai.krr.fol.Variable>	cVars
protected java.util.Set<inf.compilers.LexicalAnalyzer.TokenType>	requirements
protected ai.planning.strips.extensible.TypingExtension	types

Constructor Summary

PddlDomainAdaptor.ParsingContext()

Method Summary

void	require(inf.compilers.LexicalAnalyzer.TokenType tt, int position)

Methods inherited from class java.lang.Object

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

Field Detail

requirements

protected java.util.Set<inf.compilers.LexicalAnalyzer.TokenType> requirements

types

protected ai.planning.strips.extensible.TypingExtension types

cVars

protected java.util.Map<java.lang.String,ai.krr.fol.Variable> cVars

Constructor Detail

PddlDomainAdaptor.ParsingContext

public PddlDomainAdaptor.ParsingContext()

Method Detail

require

public void require(inf.compilers.LexicalAnalyzer.TokenType tt,
                    int position)
             throws java.text.ParseException

Throws:

java.text.ParseException