inline TermPtr substitute(const BaseSymbol::BaseSymbolPtr& sym,
const typename Term<U>::TermPtr& term)
{
//Call substitution implementation holding term
//in a Any container (template virtual methods not allowed)
return computeSubstitution(sym, Any::Any(term));
}
boost::optional<Substitution> unifyAll(NodeManager& manager, std::list<std::pair<TypePtr, TypePtr>>& list) {
return computeSubstitution(manager, list);
}
