wildcard.c File Reference

#include "form3.h"

Include dependency graph for wildcard.c:

Go to the source code of this file.

Macros
#define	DEBUG(x)

Functions
WORD	WildFill (PHEAD WORD *to, WORD *from, WORD *sub)
int	ResolveSet (PHEAD WORD *from, WORD *to, WORD *subs)
void	ClearWild (PHEAD0)
int	AddWild (PHEAD WORD oldnumber, WORD type, WORD newnumber)
int	CheckWild (PHEAD WORD oldnumber, WORD type, WORD newnumber, WORD *newval)
int	DenToFunction (WORD *term, WORD numfun)

Detailed Description

Contains the functions that deal with the wildcards. During the pattern matching there are two steps: 1: check that a wildcard substitution is correct (if there was already an assignment for this variable, it is the same; it is part of the proper set; it is the proper type of variables, etc.) 2: make the assignment In addition we have to be able to clear assignments. During execution we have to make the actual replacements (WildFill)

Definition in file wildcard.c.

Macro Definition Documentation

DEBUG

#define DEBUG

(

x

)

Definition at line 44 of file wildcard.c.

Function Documentation

WildFill()

WORD WildFill	(	PHEAD WORD *	to,
		WORD *	from,
		WORD *	sub
	)

Definition at line 65 of file wildcard.c.

ResolveSet()

int ResolveSet	(	PHEAD WORD *	from,
		WORD *	to,
		WORD *	subs
	)

Definition at line 1361 of file wildcard.c.

ClearWild()

void ClearWild

(

PHEAD0

)

Definition at line 1518 of file wildcard.c.

AddWild()

int AddWild	(	PHEAD WORD	oldnumber,
		WORD	type,
		WORD	newnumber
	)

Definition at line 1544 of file wildcard.c.

CheckWild()

int CheckWild	(	PHEAD WORD	oldnumber,
		WORD	type,
		WORD	newnumber,
		WORD *	newval
	)

Definition at line 1791 of file wildcard.c.

DenToFunction()

int DenToFunction	(	WORD *	term,
		WORD	numfun
	)

Definition at line 2557 of file wildcard.c.