scyther/src/mgu.h

24 lines
661 B
C
Raw Normal View History

2004-04-23 11:58:43 +01:00
#ifndef MGU
#define MGU
#include "term.h"
#include "termlist.h"
#include "substitution.h"
2004-04-23 11:58:43 +01:00
2004-05-15 17:43:20 +01:00
//! A special constant do denote failure.
/**
* \c NULL already denotes equality, so an extra signal is needed to
* denote that a unification fails.
* \todo Find a portable solution for this \c MGUFAIL constant:
* maybe a pointer to some special constant.
*/
2004-04-23 11:58:43 +01:00
#define MGUFAIL (Termlist) -1
Termlist termMguTerm (Term t1, Term t2);
2004-08-30 22:49:51 +01:00
int termMguInTerm (Term t1, Term t2, int (*iterator) (Termlist));
int termMguSubTerm (Term t1, Term t2, int (*iterator) (Termlist, Termlist),
Termlist inverses, Termlist keylist);
void termlistSubstReset (Termlist tl);
2004-04-23 11:58:43 +01:00
#endif