#include "definitions.h"

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

Public Routines in File definitions.c

expand_with_definition	is_definition	separate_definitions
expand_with_definitions	process_definitions

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.