public int internFunctorName(String name, int numArgs)
    {
        FunctorName functorName = new FunctorName(name, numArgs);

        return getFunctorInterner().createIdAttribute(functorName).ordinal();
    }
public int internFunctorName(String name, int numArgs)
    {
        FunctorName functorName = new FunctorName(name, numArgs);

        return getFunctorInterner().createIdAttribute(functorName).ordinal();
    }
public int internFunctorName ( String name , int numArgs ) { FunctorName functorName = new FunctorName ( name , numArgs ) ; return getFunctorInterner ( ) . createIdAttribute ( functorName ) . ordinal ( ) ; }
{@inheritDoc}
{