static String get_string( CharSource *i ) {
String result;
int ch = i->peek();
if (is_singleton(ch)) {
result.push(i->get());
} else {
while ((ch != EOF) &&
(!is_noise(ch)) &&
(!is_singleton(ch))) {
if (is_escape(ch)) {
i->get();
ch = i->peek();
}
if (ch != EOF) {
result.push( i->get() );
ch = i->peek();
}
}
}
return result;
}
void eql_of_cst_scheme::compute(property const hyps[], property &res, std::string &) const
{
if (!is_singleton(hyps[1].bnd()) || !(hyps[0].bnd() <= hyps[1].bnd())) res = property();
}
