public void visit(LiteralType literal)
    {
        // literal is ground.
        /*log.fine("ground " + literal.toString(interner, true, false));*/
        symbolTable.put(literal.getSymbolKey(), TERM_DOMAIN, new TermDomain(true));
    }
public void visit(LiteralType literal)
    {
        
        
        symbolTable.put(literal.getSymbolKey(), TERM_DOMAIN, new TermDomain(true));
    }
public void visit ( LiteralType literal ) { // literal is ground. /*log.fine("ground " + literal.toString(interner, true, false));*/ symbolTable . put ( literal . getSymbolKey ( ) , TERM_DOMAIN , new TermDomain ( true ) ) ; }
{@inheritDoc}
{