@Override public Function getBNodeTemplate(Term... terms) { FunctionSymbol pred = new BNodePredicateImpl(terms.length, typeFactory); return getFunction(pred, terms); }
@Override public Function getBNodeTemplate(List<Term> terms) { Predicate pred = new BNodePredicateImpl(terms.size()); return getFunction(pred, terms); }
@Override public ImmutableFunctionalTerm getImmutableBNodeTemplate(ImmutableList<ImmutableTerm> terms) { FunctionSymbol pred = new BNodePredicateImpl(terms.size(), typeFactory); return getImmutableFunctionalTerm(pred, terms); }
@Override public ImmutableFunctionalTerm getImmutableBNodeTemplate(ImmutableTerm... terms) { FunctionSymbol pred = new BNodePredicateImpl(terms.length, typeFactory); return getImmutableFunctionalTerm(pred, terms); }
@Override public Function getBNodeTemplate(Term... terms) { Predicate pred = new BNodePredicateImpl(terms.length); return getFunction(pred, terms); }
@Override public Function getBNodeTemplate(List<Term> terms) { FunctionSymbol pred = new BNodePredicateImpl(terms.size(), typeFactory); return getFunction(pred, terms); }
@Override public ImmutableFunctionalTerm getImmutableBNodeTemplate(ImmutableTerm... terms) { Predicate pred = new BNodePredicateImpl(terms.length); return getImmutableFunctionalTerm(pred, terms); }
@Override public ImmutableFunctionalTerm getImmutableBNodeTemplate(ImmutableList<ImmutableTerm> terms) { Predicate pred = new BNodePredicateImpl(terms.size()); return getImmutableFunctionalTerm(pred, terms); }