Esempi in C++ (Cpp) per Term::get_tag

Esempio n. 1

File: types.cpp Progetto: 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());
}

Esempio n. 2

File: types.cpp Progetto: 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());
}