Exemplos de Term::is_empty_set em C++ (Cpp)

Exemplo n.º 1

Arquivo: types.cpp Projeto: gianantonio71/amber-interpreter

bool EmptySetType::contains(Term &t)
{
  return t.is_empty_set();
}