C++ (Cpp) Term::get_tag Exemples

Exemple #1

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

Exemple #2

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