more UDI stuff.

This commit is contained in:
Vitor Santos Costa
2009-02-25 00:13:45 +00:00
parent 2bc5d8425a
commit 91657556ee
3 changed files with 19 additions and 5 deletions

View File

@@ -13,7 +13,7 @@ extern control_t *RtreeUdiInit (Term spec,
int arity);
/*this is called in each asserted term that was declared to udi_init*/
extern control_t *RtreeUdiInsert (Term t, /*asserted term*/
extern control_t *RtreeUdiInsert (Term term, /*asserted term*/
control_t *control,
void *clausule); /*to store in tree and return
in search*/