(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(dispatch_e1;a1.notify_client_event;e1)"))
(defpredicate "notifyclienteventa2e1" (after "call(dispatch_e1;a2.notify_client_event;e1)"))
(defpredicate "notifyclienteventa1e2" (after "call(dispatch_e2;a1.notify_client_event;e2)"))
(defpredicate "notifyclienteventa2e2" (after "call(dispatch_e2;a2.notify_client_event;e2)"))
(defpredicate "registera1e1" (after "call(dispatcher;dispatch_e1.register_e1;art1)"))
(defpredicate "registera2e1" (after "call(dispatcher;dispatch_e1.register_e1;art2)"))
(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 dispatch_e1 (> e1_sz 0)))
(defpredicate "e2szGT0" (in-task dispatch_e2 (> e2_sz 0)))
(defpredicate "e1szEQ2" (in-task dispatch_e1 (= e1_sz 2)))
(defpredicate "e1szEQ0" (in-task dispatch_e1 (= e1_sz 0)))
(defpredicate "isregistereda1e1"
(in-task dispatch_e1
(or
(and (>= e1_sz 1) (= "art1" (index e1_lst 1)))
(and (>= e1_sz 2) (= "art1" (index e1_lst 2))))))
(defpredicate "registereda1a2e1"
(in-task dispatch_e1
(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 Decomposed Dispatcher (2 artists, 2 events)