ai.krr.fol
Class KifSentenceAdaptor.VariableStack

java.lang.Object
  ai.krr.fol.KifSentenceAdaptor.VariableStack

Enclosing class:

KifSentenceAdaptor

protected static class KifSentenceAdaptor.VariableStack
extends java.lang.Object

Field Summary

protected java.util.Map<java.lang.String,Variable>	globalVars
protected java.lang.String[]	localVarNames
protected Variable[]	localVars

Constructor Summary

protected

KifSentenceAdaptor.VariableStack()

Method Summary

Variable	getLocal(java.lang.String name)
void	removeLocals(int nrVars)
void	stackLocals(java.lang.String name, Variable var)

Methods inherited from class java.lang.Object

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

Field Detail

globalVars

protected java.util.Map<java.lang.String,Variable> globalVars

localVarNames

protected java.lang.String[] localVarNames

localVars

protected Variable[] localVars

Constructor Detail

KifSentenceAdaptor.VariableStack

protected KifSentenceAdaptor.VariableStack()

Method Detail

stackLocals

public void stackLocals(java.lang.String name,
                        Variable var)

getLocal

public Variable getLocal(java.lang.String name)

removeLocals

public void removeLocals(int nrVars)