#include "definitions.h"
This page has information from files
definitions.h and definitions.c.
Contents
Public Routines in File definitions.c
Index
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