#include "compress.h"
This page has information from files
compress.h and compress.c.
Contents
Public Routines in File compress.c
Index
Details
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);
Public Definitions in File compress.h
Introduction