check_ibuf_clause | get_clause_from_ibuf | put_clause_to_ibuf |
void check_ibuf_clause(Clause c);
Clause get_clause_from_ibuf(Ibuffer ibuf);
void put_clause_to_ibuf(Ibuffer ibuf, Clause c);
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.