diff --git a/MINDFulPluto.jl b/MINDFulPluto.jl new file mode 160000 index 0000000..486c6fa --- /dev/null +++ b/MINDFulPluto.jl @@ -0,0 +1 @@ +Subproject commit 486c6fa90f1ffc144b137a18bc4bfc795340c138 diff --git a/Manifest.toml b/Manifest.toml index 3c81f1a..4a452e2 100644 --- a/Manifest.toml +++ b/Manifest.toml @@ -917,8 +917,8 @@ uuid = "23b02573-35f2-499b-a490-fd32d1f018b6" version = "0.1.0" [[deps.MINDFulPlutoGUI]] -deps = ["GraphIO", "Graphs", "HypertextLiteral", "MINDFul", "MINDFulMakie", "MetaGraphs", "NestedGraphs", "NestedGraphsIO", "PlutoUI", "Unitful", "WGLMakie"] -git-tree-sha1 = "47e10e206dc439b5d15d7bc3b97cf1e2872a1074" +deps = ["GraphIO", "Graphs", "HypertextLiteral", "MINDFul", "MINDFulMakie", "MetaGraphs", "NestedGraphs", "NestedGraphsIO", "Pluto", "PlutoUI", "Revise", "Unitful", "WGLMakie"] +git-tree-sha1 = "a8174d708ffb7ce4cefb3f1bc584687db4d746b7" repo-rev = "main" repo-url = "https://github.com/UniStuttgart-IKR/MINDFulPluto.jl" uuid = "2169b6f5-785b-460d-ad6a-2192ac02d426" diff --git a/notebook.jl b/notebook.jl index 6314e60..ed7ac4a 100644 --- a/notebook.jl +++ b/notebook.jl @@ -35,9 +35,6 @@ using HypertextLiteral # ╔═╡ e6a036b2-a202-40b8-ba97-b664d148b770 using MINDFulPlutoGUI -# ╔═╡ 2b86cc8a-a550-4943-95dc-55b60684ec54 - - # ╔═╡ 957302ee-001b-4850-a89f-7ee256457860 MINDFulPlutoGUI.insert_bootstrap() @@ -50,593 +47,30 @@ end # ╔═╡ 1fbb319e-8a8e-40cc-acc2-58a5a07ac275 begin begin - _n1_btn = @bind arg_node_1 html""" - - - - """ - _n2_btn = @bind arg_node_2 html""" - - - - """ - _n1_sn = @bind arg_domain_1 html""" - - - - """ - _n2_sn = @bind arg_domain_2 html""" - - - - """ - - create_intent_bind = @bind create_intent html""" - - - - """ - - plot_selection_bind = @bind plot_selection html""" - - - - """ - - draw_button_bind = @bind draw_button html""" - - - - """ - - compile_button_bind = @bind compile_button html""" - - - - """ - - uncompile_button_bind = @bind uncompile_button html""" - - - - """ - - install_button_bind = @bind install_button html""" - - - - """ - - uninstall_button_bind = @bind uninstall_button html""" - - - - """ - - dev_mode_button_bind = @bind dev_mode_button html""" - - - - """ - - _intent_selection = @bind intent_selection html""" - - - - """ - - _wanted_pos = @bind wanted_pos html""" - - - """ - - _topology = @bind topology html""" - - - """ - - html_div = @htl(""" - - -
-
-
-
- MINDFulPlutoGUI v0.1 -
- - - - - -
- -
- -
-
- -
-
- Intent Creation -
-
- -
-
- $(embed_display(_n1_sn)) -
-
- $(embed_display(_n1_btn)) -
-
-
-
- $(embed_display(_n2_sn)) -
-
- $(embed_display(_n2_btn)) -
-
-
-
- $(embed_display(create_intent_bind)) -
-
- $(embed_display(_topology)) -
-
- -
-
- -
-
- -
-
- Intent Editing -
-
- -
-
- -
-
- -
-
-
-
- $(embed_display(compile_button_bind)) -
-
- $(embed_display(uncompile_button_bind)) -
-
-
-
- $(embed_display(install_button_bind)) -
-
- $(embed_display(uninstall_button_bind)) -
-
- -
-
- - -
-
-
-
- Drawing -
-
- -
-
- $(embed_display(_intent_selection)) -
-
- $(embed_display(draw_button_bind)) -
-
-
-
- $(embed_display(plot_selection_bind)) -
-
- -
-
-
-
- $(embed_display(_wanted_pos)) -
-
- -
-
- -
-
-
-
- -
-
-
- - - - - """) - - + _n1_btn = @bind arg_node_1 MINDFulPlutoGUI.get_html_select("node_selection_select_1", "Node 1", ["1", "2", "3", "7"]) + _n2_btn = @bind arg_node_2 MINDFulPlutoGUI.get_html_select("node_selection_select_2", "Node 2", ["1", "2", "3", "7"]) + _n1_sn = @bind arg_domain_1 MINDFulPlutoGUI.get_html_select("domain_selection_select", "Domain 1", ["1", "2", "3", "7"]) + _n2_sn = @bind arg_domain_2 MINDFulPlutoGUI.get_html_select("domain_selection_select", "Domain 2", ["1", "2", "3", "7"]) + + create_intent_bind = @bind create_intent MINDFulPlutoGUI.get_html_button("create_intent_button", "Create Intent") + _topology = @bind topology MINDFulPlutoGUI.get_html_select("topology_select", "Topology", ["4nets", "nobel-germany", "nobel-germany-france-topzoo"], "topology_select") + + compile_button_bind = @bind compile_button MINDFulPlutoGUI.get_html_button("compile_button", "Compile") + uncompile_button_bind = @bind uncompile_button MINDFulPlutoGUI.get_html_button("uncompile_button", "Uncompile") + install_button_bind = @bind install_button MINDFulPlutoGUI.get_html_button("install_button", "Install") + uninstall_button_bind = @bind uninstall_button MINDFulPlutoGUI.get_html_button("uninstall_button", "Uninstall") + dev_mode_button_bind = @bind dev_mode_button MINDFulPlutoGUI.get_html_button("dev_mode_button", "Developer Mode") + + _intent_selection = @bind intent_selection MINDFulPlutoGUI.get_html_select("intent_selection_select", "Select Intent", [], "intent_selection_select") + _wanted_pos = @bind wanted_pos MINDFulPlutoGUI.get_html_select("wanted_pos_select", "Position", ["2", "3"], "wanted_pos_select") + plot_selection_bind = @bind plot_selection MINDFulPlutoGUI.get_html_select("plot_selection_select", "Plotting type", ["intentplot", "ibnplot"]) + + draw_button_bind = @bind draw_button MINDFulPlutoGUI.get_html_button("draw_button", "Draw") + + MINDFulPlutoGUI.get_dashboard_main_div(embed_display(_n1_btn), embed_display(_n1_sn), embed_display(_n2_btn), embed_display(_n2_sn), + embed_display(create_intent_bind), embed_display(plot_selection_bind), embed_display(draw_button_bind), embed_display(compile_button_bind), + embed_display(uncompile_button_bind), embed_display(install_button_bind), embed_display(uninstall_button_bind), embed_display(_intent_selection), + embed_display(_wanted_pos), embed_display(_topology)) end end @@ -668,9 +102,6 @@ MINDFulPlutoGUI.button_caller_wrapper("install_intent", install_button;) # ╔═╡ 56a90e03-6fb9-47ba-86d8-cbd96f7c66d7 MINDFulPlutoGUI.button_caller_wrapper("uninstall_intent", uninstall_button;) -# ╔═╡ f30d7fa3-8065-40b6-b428-226e1ce95cf7 - - # ╔═╡ 4fbae048-e383-41da-bb76-10d23241b15d MINDFulPlutoGUI.update_domain_and_node_list("domain", topology) @@ -686,14 +117,11 @@ MINDFulPlutoGUI.resize_cells() # ╔═╡ c7fcbb44-29c2-471b-bab1-4d4b591840f4 MINDFulPlutoGUI.trigger_update_of_draw_cell(draw_button) -# ╔═╡ d24883ee-716b-421e-a8f5-ac0a3fcab60e - - # ╔═╡ daceb10a-f60c-4f4f-b2ac-ff8bf68f8c8a -MINDFulPlutoGUI.intent_list +MINDFulPlutoGUI.get_ibn_size("4nets") # ╔═╡ 77b3716e-aac5-47f0-8618-253afc079b4b -"Hello world" +MINDFulPlutoGUI.load_ibn("data/4nets.graphml") # ╔═╡ Cell order: # ╠═5145f6b7-ddb7-45ac-a3c7-fb30dc364f15 @@ -703,7 +131,6 @@ MINDFulPlutoGUI.intent_list # ╠═eb0ca9a4-7d10-4f77-ac7d-30d845bbfba4 # ╠═8024c5f9-bfe8-4fae-a6e1-0364b5688950 # ╠═e6a036b2-a202-40b8-ba97-b664d148b770 -# ╠═2b86cc8a-a550-4943-95dc-55b60684ec54 # ╠═957302ee-001b-4850-a89f-7ee256457860 # ╠═68010739-8e28-44fe-b75d-2c9f9498b2a3 # ╟─1fbb319e-8a8e-40cc-acc2-58a5a07ac275 @@ -716,12 +143,10 @@ MINDFulPlutoGUI.intent_list # ╠═da567849-9f10-46ff-a8dd-c537b5a90048 # ╠═d76778b2-fafb-4017-ad1e-3572ed4b799e # ╠═56a90e03-6fb9-47ba-86d8-cbd96f7c66d7 -# ╠═f30d7fa3-8065-40b6-b428-226e1ce95cf7 # ╠═4fbae048-e383-41da-bb76-10d23241b15d # ╠═04b12cc9-e83c-46c7-b3fb-12bd01a56c40 # ╠═744c90ce-02a9-4924-874c-9de65209d557 # ╠═aa5dbee4-f5eb-4889-a0d5-8b9014570409 # ╠═c7fcbb44-29c2-471b-bab1-4d4b591840f4 -# ╠═d24883ee-716b-421e-a8f5-ac0a3fcab60e # ╠═daceb10a-f60c-4f4f-b2ac-ff8bf68f8c8a # ╠═77b3716e-aac5-47f0-8618-253afc079b4b