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

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

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

(initPLAeset maude graphics2d graphics2d)
(initKBManagerD graphics2d 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 graphics2d (seq (define evidencePath "") (invoke java.lang.System.err "println" (concat "evidencePath: " evidencePath))))
***(g2dexe graphics2d (seq (define evidencePath (concat "file://" (sinvoke "g2d.util.IO" "resolveLinks" "./evidence"))) (apply logDev (concat "evidencePath: " evidencePath)) ))

**** user preferences
(g2dexe graphics2d (seq (define useChattyLabels (boolean true))(apply logDev (concat "useChattyLabels: " useChattyLabels)) ))
(g2dexe graphics2d (seq (define explorerCheckBoxDefault (boolean true))(apply logDev (concat "explorerCheckBoxDefault: " explorerCheckBoxDefault)) ))


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

**** set model name
(g2dexe graphics2d (seq (apply setModelName "RKB" "GlycoSTM")(apply logDev (concat "ModelName: " (apply getModelName "RKB"))) ))

**** new for managing occ labels
(g2dexe graphics2d (seq (apply setGlycanLabelsKB "RKB") (invoke java.lang.System.err "println" "setGlycanLabelsKB")))

(startListener RKB graphreq graphics2d)
(defineKBGraph RKB graphics2d)

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

)

