final public int getVariableCount(final IKeyOrder<E> keyOrder) { int nunbound = 0; final int keyArity = keyOrder.getKeyArity(); for (int keyPos = 0; keyPos < keyArity; keyPos++) { final int index = keyOrder.getKeyOrder(keyPos); final IVariableOrConstant<?> t = get(index); if (t == null || t.isVar()) { nunbound++; } } return nunbound; }
final public int getVariableCount(final IKeyOrder<E> keyOrder) { int nunbound = 0; final int keyArity = keyOrder.getKeyArity(); for (int keyPos = 0; keyPos < keyArity; keyPos++) { final int index = keyOrder.getKeyOrder(keyPos); final IVariableOrConstant<?> t = get(index); if (t == null || t.isVar()) { nunbound++; } } return nunbound; }
new DistinctTermAdvancer(keyOrder.getKeyArity()) : new DistinctMultiTermAdvancer(keyOrder.getKeyArity(), nrConsts);
new DistinctTermAdvancer(keyOrder.getKeyArity()) : new DistinctMultiTermAdvancer(keyOrder.getKeyArity(), nrConsts);