;;; ****************************************************************
 ;;; 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.
 ;;;
 
 (in-package "OPS")
 
 ;;; Global variables also used by OPS modules.
 

 (defvar *halt-flag* nil)
 (defvar *cycle-count* nil)
 (defvar *p-name* nil)
 (defvar *ptrace* nil)
 (defvar *wtrace* nil)

 
 ;;; Hash Tables.
 
 (defvar *conflicts-table* (make-hash-table))
 
 (defvar *vector-attribute-table* (make-hash-table))
 (defun set-vector-attribute (att)
   (setf (gethash att *vector-attribute-table*) t))
 (defun is-vector-attribute (att)
   (gethash att *vector-attribute-table*))
 
 (defvar *att-list-table* (make-hash-table))
 (defvar *ppdat-table* (make-hash-table))
 (defvar *wmpart*-table* (make-hash-table))
 (defvar *inputfile-table* (make-hash-table))
 (defvar *outputfile-table* (make-hash-table))
 (defvar *backpointers-table* (make-hash-table))
 (defvar *ops-bind-table* (make-hash-table))
 (defvar *production-table* (make-hash-table))
 (defvar *topnode-table* (make-hash-table))
 (defvar *external-routine-table* (make-hash-table))
 
 (defun clear-ops-hash-tables ()
   (clrhash *conflicts-table*)
   (clrhash *vector-attribute-table*)
   (clrhash *att-list-table*)
   (clrhash *ppdat-table*)
   (clrhash *wmpart*-table*)
   (clrhash *inputfile-table*)
   (clrhash *outputfile-table*)
   (clrhash *backpointers-table*)
   (clrhash *ops-bind-table*)
   (clrhash *production-table*)
   (clrhash *topnode-table*)
   (clrhash *external-routine-table*))