compress_clause | uncompress_clause | uncompress_term | |
compress_term | uncompress_clauses |
void compress_clause(Clause c);When clasues are compressed, they lose any orientation marks on atoms. Marks are restored by a call to orient_equalities during uncompression.
char *compress_term(Term t);
void uncompress_clause(Clause c);
void uncompress_clauses(Plist p);Given a Plist of clauses, uncompress the compressed ones.
Term uncompress_term(char *s, int *ip);
These activities are projects of the Mathematics and Computer Science Division of Argonne National Laboratory.