add TimelinesChart class for solver visualization; export from index.ts

Author: riccardodebenedictis

src/index.ts

@@ -4,6 +4,8 @@ import cytoscapePopper, { RefElement } from 'cytoscape-popper';
 import tippy from 'tippy.js';
 
 export { solver } from './solver';
+export { SolverGraph } from './solver_graph';
+export { TimelinesChart } from './solver_timelines';
 
 function tippyFactory(ref: RefElement, content: HTMLElement) {
   // Since tippy constructor requires DOM element/elements, create a placeholder

src/solver_timelines.ts

@@ -0,0 +1,47 @@
+import { solver } from "./solver";
+import Plotly from 'plotly.js';
+
+export class TimelinesChart implements solver.SolverListener {
+
+  private solver: solver.Solver;
+  private layout = {
+    autosize: true,
+    xaxis: { title: 'Time' },
+    showlegend: false,
+    shapes: [
+      {
+        type: 'line',
+        x0: 0,
+        y0: 0,
+        x1: 0,
+        y1: 1,
+        xref: 'x',
+        yref: 'paper',
+        line: {
+          color: 'darkgrey',
+          width: 2
+        }
+      }
+    ]
+  };
+  private config = { responsive: true, displaylogo: false };
+
+  constructor(solver: solver.Solver) {
+    this.solver = solver;
+    this.solver.add_solver_listener(this);
+  }
+
+  init(items: Map<string, solver.values.Value>, atoms: Map<number, solver.values.Atom>, flaws: Map<number, solver.graph.Flaw>, resolvers: Map<number, solver.graph.Resolver>, c_flaw: solver.graph.Flaw | null, c_resolver: solver.graph.Resolver | null): void {
+    Plotly.react('slv-' + this.solver.get_id() + '-timelines', [], this.layout, this.config);
+  }
+
+  flaw_created(flaw: solver.graph.Flaw): void { }
+
+  flaw_cost_changed(flaw: solver.graph.Flaw): void { }
+
+  current_flaw(flaw: solver.graph.Flaw): void { }
+
+  resolver_created(resolver: solver.graph.Resolver): void { }
+
+  current_resolver(resolver: solver.graph.Resolver): void { }
+}