[cl-unification-cvs] CVS cl-unification

[mantoniotti]

Update of /project/cl-unification/cvsroot/cl-unification
In directory cl-net:/tmp/cvs-serv2727

Modified Files:
	unification-package.lisp 
Log Message:
Exported a few more symbols.


--- /project/cl-unification/cvsroot/cl-unification/unification-package.lisp	2011/02/11 17:49:38	1.8
+++ /project/cl-unification/cvsroot/cl-unification/unification-package.lisp	2011/02/26 09:22:10	1.9
@@ -3,8 +3,8 @@
 ;;;; unification-package.lisp --
 ;;;; Package definition for the CL-UNIFICATION library.
 ;;;;
-;;;; Copyright (c) 2004-2009 Marco Antoniotti
-;;;; See file COPYING for licensing information.
+;;;; Copyright (c) 2004-2011 Marco Antoniotti
+;;;; See file COPYING for copyright licensing information.
 
 
 (defpackage "IT.UNIMIB.DISCO.MA.CL.EXT.DACF.UNIFICATION" (:use "CL")
@@ -16,17 +16,9 @@
 The package also has the \"UNIFY\" nickname.")
 
   (:export
-   "MAKE-TEMPLATE"
-   "TEMPLATEP"
-   "TEMPLATE-SPEC")
-
-  (:export
    "*UNIFY-STRING-CASE-SENSITIVE-P*"
    "UNIFY"
-   "FIND-VARIABLE-VALUE"
-   "V?"
 
-   "MAKE-EMPTY-ENVIRONMENT"
    "APPLY-SUBSTITUTION"
 
    "UNIFICATION-FAILURE"
@@ -35,7 +27,29 @@
 
   (:export
    "ENVIRONMENT"
-   "ENVIRONMENT-P")
+   "ENVIRONMENT-P"
+   "MAKE-EMPTY-ENVIRONMENT"
+   "EMPTY-ENVIRONMENT-P"
+   "MAKE-SHARED-ENVIRONMENT"
+   "COPY-ENVIRONMENT"
+   
+   "PUSH-FRAME"
+   "POP-FRAME"
+
+   "BINDING-VARIABLE"
+   "BINDING-VALUE"
+
+   "EXTEND-ENVIRONMENT"
+   "FILL-ENVIRONMENT"
+   "FILL-ENVIRONMENT*"
+
+   "FIND-VARIABLE-VALUE"
+   "V?"
+
+   "NEW-VAR"
+   "VARIABLEP"
+   "VARIABLE-ANY-P"
+   )
 
   (:export
    "MATCH"
@@ -50,6 +64,14 @@
    "UNIFY-EQUATIONS"
    "UNIFY-EQUATIONS*")
 
+  (:export
+   "MAKE-TEMPLATE"
+   "TEMPLATEP"
+   "TEMPLATE-SPEC"
+
+   "COLLECT-TEMPLATE-VARS"
+   )
+
   #+cl-ppcre
   (:export
    "REGULAR-EXPRESSION"