자주 사용되는 메소드들
자주 사용되는 메소드들
자주 사용되는 메소드들
자주 사용되는 메소드들
bool EmptySetType::contains(Term &t)
{
return t.is_empty_set();
}
bool EmptySetType::contains(Term &t)
{
return t.is_empty_set();
}
bool EmptySetType::contains(Term &t)
{
return t.is_empty_set();
}