bool match(const eterm<Alloc>& pattern, varbind<Alloc>* binding) const
throw (err_unbound_variable) {
if (is_any()) return true;
const eterm<Alloc>* value = binding ? binding->find(c_str()) : NULL;
if (value)
return value->match(pattern, binding);
if (binding != NULL) {
// Bind the variable
eterm<Alloc> et;
binding->bind(name(), pattern.subst(et, binding) ? et : pattern);
}
return true;
}
bool match(const eterm<Alloc>& pattern, varbind<Alloc>* binding) const
throw (err_unbound_variable)
{
if (is_any()) return true;
if (!binding) return false;
const eterm<Alloc>* value = binding->find(name());
if (value)
return check_type(value->type()) ? value->match(pattern, binding) : false;
if (!check_type(pattern.type()))
return false;
// Bind the variable
eterm<Alloc> et;
binding->bind(name(), pattern.subst(et, binding) ? et : pattern);
return true;
}