compress.h

# #include "compress.h"

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

## Contents

- Public Routines
- Public Definitions
- Introduction

## Public Routines in File compress.c

#### Index

compress_clause | uncompress_clause | uncompress_term |
compress_term | uncompress_clauses |  |

#### 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