;;;; -*- mode:Lisp; syntax:Common-Lisp; package:user -*- ;;;;
;;;; Copyright 1992 Patrick H. Winston.  All rights reserved.
;;;; Version 1.1.1, transferred from master disk on 23 Apr 93
;;;;
;;;; This file may reference other files containing copyrighted software.
;;;; Any restrictions on the use of such software are described in the
;;;; files containing that software.  This file may be freely copied as
;;;; long as this notice is kept intact.

;;;; Purpose: program support for Chapter 12,
;;;; Symbolic Constraints and Propagation

;;;; LOAD TIME PROPAGATION SYSTEM
(load "time.lsp")

;;;; RUN EXPERIMENTS

(format t "~%~%Experiment #1---BEFORE chain:")
(make-intervals a b c d z)
(set-labels b before c)
(set-labels c before d)
(set-labels d before z)
(set-labels a before b)

(format t "~%~%Experiment #2---X-MORNING-AFTERNOON-Y chain:")
(make-intervals x morning afternoon y)
(set-labels x before morning)
(set-labels morning meets afternoon)
(set-labels y during afternoon)