SEDL Predicate Definitions (a)

(defpredicate "beforeregistera1e1" (before "call(a1;dispatcher.register_event;art1;e1)"))
(defpredicate "beforeregistera1e2" (before "call(a1;dispatcher.register_event;art1;e2)"))
(defpredicate "beforeregistera2e1" (before "call(a2;dispatcher.register_event;art2;e1)"))
(defpredicate "beforeregistera2e2" (before "call(a2;dispatcher.register_event;art2;e2)"))
(defpredicate "beforeunregistera1e1" (before "call(a1;dispatcher.unregister_event;art1;e1)"))
(defpredicate "beforeunregistera1e2" (before "call(a1;dispatcher.unregister_event;art1;e2)"))
(defpredicate "beforeunregistera2e1" (before "call(a2;dispatcher.unregister_event;art2;e1)"))
(defpredicate "beforeunregistera2e2" (before "call(a2;dispatcher.unregister_event;art2;e2)"))

(defpredicate "isregistereda1e1"
   (in-task dispatcher
      (or 
         (and (>=  e1_sz 1) (= "art1" (index e1_lst 1)))
         (and (>=  e1_sz 2) (= "art1" (index e1_lst 2))))))

(defpredicate "isregistereda1e2"
   (in-task dispatcher
      (or 
         (and (>=  e2_sz 1) (= "art1" (index e2_lst 1)))
         (and (>=  e2_sz 2) (= "art1" (index e2_lst 2))))))

(defpredicate "isregistereda2e1"
   (in-task dispatcher
      (or 
         (and (>=  e1_sz 1) (= "art2" (index e1_lst 1)))
         (and (>=  e1_sz 2) (= "art2" (index e1_lst 2))))))

(defpredicate "isregistereda2e2"
   (in-task dispatcher
      (or 
         (and (>=  e2_sz 1) (= "art2" (index e2_lst 1)))
         (and (>=  e2_sz 2) (= "art2" (index e2_lst 2))))))

Back to SEDL Source for Chiron Original Dispatcher (2 artists, 2 events)

Back to Chiron Original Dispatcher (2 artists, 2 events)