unify.c File Reference

This graph shows which files directly or indirectly include this file:

Functions
static Bool	Check_If_Var_Occurs (WamWord *var_adr, WamWord term_word)
Bool FC	UNIFY_FCT_NAME (WamWord start_u_word, WamWord start_v_word)

Function Documentation

static Bool Check_If_Var_Occurs ( WamWord *  var_adr, WamWord  term_word  )

static

Here is the caller graph for this function:

Bool FC UNIFY_FCT_NAME	(	WamWord	start_u_word,
		WamWord	start_v_word
	)

Here is the call graph for this function: