FORM  4.2.1
Functions
smart.c File Reference
#include "form3.h"

Go to the source code of this file.

Functions

int StudyPattern (WORD *lhs)
 
int MatchIsPossible (WORD *pattern, WORD *term)
 

Detailed Description

The functions for smart pattern searches in combinations of functions. When many wildcards are involved and the functions are (anti)symmetric an exhaustive search for all possibilities may take very much time (like factorial in the number of wildcards) while a human can often see immediately that there cannot be a match. The routines here try to make FORM a bit smarter in this respect.

This is just the beginning. It still needs lots of work!

Definition in file smart.c.