C++ (Cpp) Term::get_tag示例

示例#1

文件： types.cpp 项目： gianantonio71/amber-interpreter

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());
}

示例#2

文件： types.cpp 项目： gianantonio71/amber

bool TagType::contains(Term &t)
{
  return t.is_tagged_obj() && tag_type->contains(symbol_obj(t.get_tag())) && obj_type->contains(t.untag());
}