diff --git a/editor.domains-NoveltyVizPlanimation/NoveltyVizPlugin.js b/editor.domains-NoveltyVizPlanimation/NoveltyVizPlugin.js new file mode 100644 index 0000000..771b0e3 --- /dev/null +++ b/editor.domains-NoveltyVizPlanimation/NoveltyVizPlugin.js @@ -0,0 +1,904 @@ +// Tree Globals +var stateCounter, graph, treemap, svg, duration, treeData, treeHeight, goTree = true, heurMax = 0; +var root, d3, zoom, viewerWidth, viewerHeight; + +// novelty globals +var actions, fluents, heurdata; + +var UNFOLD_LIMIT = 15; +//Code review test +// novelty variables +var noveltyTable = [] +var FullyDefined = 0 +var listOfFacts = [] +var currStatusName = "" +var currMatchedDict = {} +// File choosing model +var HVIZ_PLANIMATION_MODEL = ` + +