void PredicateTable::setEdb(index_object index) { Predicate p; p.setIndex(index); Predicate *tmp = *hash.find(&p); tmp->setEdb(); }