lojix/logic/src/main/com/thesett/aima/logic/fol/compiler/SymbolKeyTraverser.java
public void visit(Term term)
    {
        if (isEnteringContext())
        {
            SymbolKey key = currentSymbolTable.getSymbolKey(currentPosition);
            term.setSymbolKey(key);
        }

        if (delegate != null)
        {
            delegate.visit(term);
        }
    }
public void visit(Term term)
    {
        if (isEnteringContext())
        {
            SymbolKey key = currentSymbolTable.getSymbolKey(currentPosition);
            term.setSymbolKey(key);
        }

        if (delegate != null)
        {
            delegate.visit(term);
        }
    }
public void visit ( Term term ) { if ( isEnteringContext ( ) ) { SymbolKey key = currentSymbolTable . getSymbolKey ( currentPosition ) ; term . setSymbolKey ( key ) ; } if ( delegate != null ) { delegate . visit ( term ) ; } }
{@inheritDoc}

<p/>Assigns symbol keys to non-variable terms, based on the positional path to the term within its containing
clause.
{ @inheritDoc }