bool cmp(Term& t, const char* str) { unsigned int len = 0; const char* val = t.getValue(len); unsigned i = 0; while(i < len && val[i] == str[i]) { i++; } return i == len; }
bool Term::equal(const Term & term) const { return term.getValue() == value_; }