definitions.h

# #include "definitions.h"

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

## Contents

- Public Routines
- Public Definitions
- Introduction

## Public Routines in File definitions.c

#### Index

expand_with_definition | is_definition | separate_definitions |
expand_with_definitions | process_definitions |  |

#### Details

    Formula expand_with_definition(Formula f, Formula def);

    void expand_with_definitions(Plist formulas,
    			     Plist defs,
    			     Plist *results,
    			     Plist *rewritten);

All arguments are plists of Topforms containing formulas.

    BOOL is_definition(Formula f);

    void process_definitions(Plist formulas,
    			 Plist *results,
    			 Plist *defs,
    			 Plist *rewritten);

All arguments are plists of Topforms containing formulas.

    void separate_definitions(Plist formulas,
    			  Plist *defs,
    			  Plist *nondefs);

All arguments are plists of Topforms containing formulas.

## Public Definitions in File definitions.h

## Introduction