;;; ****************************************************************
;;; OPS5 Interpreter ***********************************************
;;; ****************************************************************
;;; This Common Lisp version of OPS5 is in the public domain.  It is based
;;; in part on based on a Franz Lisp implementation done by Charles L. Forgy
;;; at Carnegie-Mellon University, which was placed in the public domain by
;;; the author in accordance with CMU policies.  Ported to Common Lisp by 
;;; George Wood and Jim Kowalski. CMU Common Lisp modifications by
;;; Dario Guise, Skef Wholey, Michael Parzen, and Dan Kuokka. 
;;; Modified to work in CLtL1, CLtL2 and X3J13 compatible lisps by 
;;; Mark Kantrowitz on 14-OCT-92.
;;; 
;;; This code is made available is, and without warranty of any kind by the
;;; authors or by Carnegie-Mellon University.
;;;

;;; 15-OCT-92 mk    Modified definition of RESET-OPS.

(in-package "OPS")

(defparameter *ops-version* "19-OCT-92")

(defun ops-init ()
  ;; Allows ^ , { , and } operators to be right next to another symbol.
  (set-macro-character #\{ #'(lambda (s c)
                               (declare (ignore s c))
                               '\{))
  (set-macro-character #\} #'(lambda (s c)
                               (declare (ignore s c))
                               '\}))
  (set-macro-character #\^ #'(lambda (s c)
                               (declare (ignore s c))
                               '\^))
  (backup-init)
  (compile-init)
  (main-init)
  (match-init)
  (io-init)
  (rhs-init)
  (format t "~&Common Lisp OPS5 interpreter, version ~A.~&"
          *ops-version*))

(defun reset-ops ()
  "Clears the state of OPS to allow a new rule set to be loaded."

  ;; Tell the user what we're doing.
  (format t "~&Resetting OPS5 interpreter: 
             ~&   deleting productions, working memory, etc.")
  (remove *)
  (ops-init)
  (clear-ops-hash-tables)
  ;; (i-g-v)
  (setq *class-list* nil
        *pcount* 0))

;;; *EOF*