(defpredicate "notifyartistse1" (after "call(adt_wrapper;dispatcher.notify_artists;e1)"))
(defpredicate "notifyartistse2" (after "call(adt_wrapper;dispatcher.notify_artists;e2)"))
(defpredicate "afternotifyartistse1" (after "internal(dispatcher;after_accept_notify_artists_e1)"))
(defpredicate "notifyclienteventa1e1" (after "call(dispatcher;a1.notify_client_event;e1)"))
(defpredicate "notifyclienteventa2e1" (after "call(dispatcher;a2.notify_client_event;e1)"))
(defpredicate "notifyclienteventa1e2" (after "call(dispatcher;a1.notify_client_event;e2)"))
(defpredicate "notifyclienteventa2e2" (after "call(dispatcher;a2.notify_client_event;e2)"))
(defpredicate "registera1e1" (after "call(a1;dispatcher.register_event;art1;e1)"))
(defpredicate "registera2e1" (after "call(a2;dispatcher.register_event;art2;e1)"))
(defpredicate "beforeregistera1e1" (before "call(a1;dispatcher.register_event;art1;e1)"))
(defpredicate "beforeregistera2e1" (before "call(a2;dispatcher.register_event;art2;e1)"))
(defpredicate "unregistera1e1" (after "call(a1;dispatcher.unregister_event;art1;e1)"))
(defpredicate "beforeunregistera1e1" (before "call(a1;dispatcher.unregister_event;art1;e1)"))
(defpredicate "beforeunregistera2e1" (before "call(a2;dispatcher.unregister_event;art2;e1)"))
(defpredicate "e1szGT0" (in-task dispatcher (> e1_sz 0)))
(defpredicate "e2szGT0" (in-task dispatcher (> e2_sz 0)))
(defpredicate "e1szEQ2" (in-task dispatcher (= e1_sz 2)))
(defpredicate "e1szEQ0" (in-task dispatcher (= e1_sz 0)))
(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 "registereda1a2e1"
(in-task dispatcher
(and (>= e1_sz 2) (= "art2" (index e1_lst 2))
(= "art1" (index e1_lst 1)))))
(defpredicate "term" (after "call(artist_manager;a2.terminate_artist-end)"))
Back to SEDL Source for Chiron Original Dispatcher (2 artists, 2 events)