/** {@inheritDoc} */ public int getFunctorArity(int name) { return interner.getFunctorArity(name); }
/** {@inheritDoc} */ public int getFunctorArity(Functor functor) { return interner.getFunctorArity(functor); }
/** {@inheritDoc} */ public int getFunctorArity(int name) { return interner.getFunctorArity(name); }
/** {@inheritDoc} */ public int getFunctorArity(Functor functor) { return interner.getFunctorArity(functor); }