Ejemplos de Term::is_symbol en C++ (Cpp)

Ejemplo n.º 1

Archivo: types.cpp Proyecto: gianantonio71/amber-interpreter

bool Enum::contains(Term &t)
{
  if (!t.is_symbol())
    return false;

  return in_sorted_vector(t.get_symbol(), symbols);
}

Ejemplo n.º 2

Archivo: types.cpp Proyecto: gianantonio71/amber-interpreter

bool SymbolType::contains(Term &t)
{
  return t.is_symbol();
}