bool TagType::contains(Term &t)
{
  if (!t.is_tagged_obj())
    return false;
  Term tag_obj = symbol_obj(t.get_tag());
  return tag_type->contains(tag_obj) && obj_type->contains(t.untag());
}
Exemple #2
0
bool TagType::contains(Term &t)
{
  return t.is_tagged_obj() && tag_type->contains(symbol_obj(t.get_tag())) && obj_type->contains(t.untag());
}