load all
load ../../PLALib/load-jpla-parts

**** saved *************************************************************

(seq
(g2dexe graphics2d (supdate "g2d.pla.PLA" "developmental" (boolean false)))
(loadg2dlib graphics2d ../../PLALib/load-jg2dlib.lsp)

*** proposed fix for pla online zombie server iops.
(g2dexe graphics2d (sinvoke "g2d.pla.Sentinel" "watch" "graphics2d" "iop_remote_actor"))

(initPLAeset maude graphics2d iop_remote_actor)
(initKBManagerD iop_remote_actor QQQ)
(initDishes QQQ)

**** restore saved kb and graph

(restore RKB-tkb.txt tmp entry) 
(restore RKB-graph.txt tmp entry) 
(restore RKB-occmap.txt tmp entry)
(restore allDish.txt tmp entry)

**** restore hand crafted evidence
(restore evidence.txt tmp entry)
(g2dexe iop_remote_actor (define evidencePath ""))

**** user preferences
(g2dexe iop_remote_actor (define useChattyLabels (boolean true)))
(g2dexe iop_remote_actor (define explorerCheckBoxDefault (boolean true)))


(g2dexe iop_remote_actor (seq (apply initJKB "RKB") (apply loadbasicjkb "RKB" "JSONU")))

**** new for managing occ labels
(g2dexe iop_remote_actor (seq (apply setStandardLabelsKB "RKB")(apply logDev "setStandardLabelsKB")))

(g2dexe iop_remote_actor (seq (apply setModelName "RKB" "Mycolate") (apply logDev (concat "ModelName: " (apply getModelName "RKB"))) ))

(startListener RKB graphreq iop_remote_actor)
(defineKBGraph RKB iop_remote_actor)

*** needed while Maude is in control of nids
(g2dexe iop_remote_actor  (apply fixNids "RKB"))


)

