Searched refs:maxrhs (Results 1 – 1 of 1) sorted by relevance
43 static int maxrhs; variable136 maxrhs = max; in set_maxrhs()374 states = NEW2(maxrhs + 1, Value_t); in build_relations()