stv/gui.py at master · blackbat13/stv · 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
import sys

if __name__ == "__main__":
    model = sys.argv[1]
    method = sys.argv[2]
    if model == 'tian_ji':
        if method == 'run':
            import stv.gui_helper.run_tian_ji
        elif method == 'verify':
            import stv.gui_helper.verify_tian_ji
        elif method == 'domino':
            import stv.gui_helper.domino_tian_ji
    elif model == 'bridge':
        if method == 'run':
            import stv.gui_helper.run_bridge
        elif method == 'verify':
            import stv.gui_helper.verify_bridge
        elif method == 'domino':
            import stv.gui_helper.domino_bridge
    elif model == 'castles':
        if method == 'run':
            import stv.gui_helper.run_castles
        elif method == 'verify':
            import stv.gui_helper.verify_castles
        elif method == 'domino':
            import stv.gui_helper.domino_castles
    elif model == 'drone':
        if method == 'run':
            import stv.gui_helper.run_drone
        elif method == 'verify':
            import stv.gui_helper.verify_drone
        elif method == 'domino':
            import stv.gui_helper.domino_drone
    elif model == 'voting':
        if method == 'run':
            import stv.gui_helper.run_simple_voting
        elif method == 'verify':
            import stv.gui_helper.verify_simple_voting
        elif method == 'domino':
            import stv.gui_helper.domino_simple_voting
    elif model == 'global':
        if method == 'run':
            import stv.gui_helper.asynchronous.run_global
        elif method == 'verify':
            import stv.gui_helper.asynchronous.verify_global
        elif method == 'domino':
            import stv.gui_helper.asynchronous.domino_global
    elif model == 'bisimulation':
        if method == 'run':
            import stv.gui_helper.asynchronous.run_bisimulation
        elif method == 'verify':
            import stv.gui_helper.asynchronous.verify_bisimulation
        elif method == 'domino':
            import stv.gui_helper.asynchronous.domino_bisimulation
        elif method == "check":
            import stv.gui_helper.asynchronous.check_bisimulation