11 int getindexthatprovides(char *set, char *relation);
13 bool setok(Constraint *c, char *set);
14 bool testsatisfy(WorkSet *satisfies, FieldTuple *ft);
15 WorkSet * requireswhat(Constraint *c,CoercePredicate *cp);
16 void processee(WorkSet *ws, Constraint *c, Elementexpr *ee);
17 FieldTuple * provideswhat(Constraint *c,CoercePredicate *cp);
20 Hashtable *propertytonf;
21 Hashtable *nftoprovides;
24 char *getset(Constraint *c, char *var);
26 class FieldTuple:public ElementWrapper {
28 FieldTuple(FieldTuple *o);
29 unsigned int hashCode();
30 bool equals(ElementWrapper *other);
33 FieldTuple(char * r, char *s);