#include "compress.h"

This page has information from files compress.h and compress.c.

Public Routines in File compress.c

compress_clause	uncompress_clause	uncompress_term
compress_term	uncompress_clauses

void compress_clause(Topform 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(Topform c);

void uncompress_clauses(Plist p);

Given a Plist of clauses, uncompress the compressed ones.

Term uncompress_term(char *s, int *ip);