;;;; -*-  Mode: LISP; Syntax: Common-Lisp; Base: 10                          -*-
;;;; ---------------------------------------------------------------------------
;;;; File name: tdc-tests.lsp
;;;;    System: FIRE -- TDC testing stubs
;;;;   Version: 1.0
;;;;    Author: Ken Forbus
;;;;   Created: July 18, 2001 18:40:31
;;;;   Purpose: Testing procedures for debugging the TDC
;;;; ---------------------------------------------------------------------------
;;;;  Modified: Wednesday, July 18, 2001 at 19:05:38 by forbus
;;;; ---------------------------------------------------------------------------

(in-package :fire)

(defparameter *tdc-kb-path* (make-qrg-path "sketchpad" "v2r50" "KB"))
(defparameter *tdc-kb-name* "nuSketch-COA")


(defun make-tdc-reasoner (&key (title "TDC test")
                               (kb-path *tdc-kb-path*)
                               (kb-name *tdc-kb-name*))
  (make-kb kb-path kb-name
           :new? nil
           :predicate-style :mixed-case)
  (unless (eq (state *kb*) :open) (open-kb))
  (setq data::r (make-reasoner title))
  (add-analogy-source data::r)
  (setq data::a (car (sources data::r))))

(defun test-case-isa-query (case type)
  (fire::ask  `(data::ist-Information ,case (data::isa ?x ,type)) data::r :any :all :bindings :all))

(defparameter *tdc-case* 'data::CoaDadmSwmpProb1Test)


;;;; ---------------------------------------------------------------------------
;;; END OF CODE