dpll/UIDPLLreceive.js at main · francoisschwarzentruber/dpll · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
function UIonMessage(event)
{
      if(event.printConsole != undefined)
      {
          printConsole(event.string);
      }
      else
      if(event.newGraph != undefined)
      {
          newGraph(event);


      }

}


function printConsole(string)
{
	//$("#console").val($("#console").val() + "\n" + string);
    $( "#execution" ).append(string);

}


function newGraph(event)
{
      var options = {
            width: '900px',
            height: '500px',
            zoomView: false,
            zoomable: false,
            groups: {
            decision: {
            color: {
            background: 'yellow'
            }
            },

            nothing: {
            color: {
            background: 'white'
            }
            },

            bottom: {
            color: {
            background: 'orange'
            }
            }
            // add more groups here
        }
        };


    var container = document.getElementById(event.containerName);
    var graph = new vis.Graph(container, event.data, options);


}