TruthTrees/verifyRule.py at master · olinger/TruthTrees · 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
from verifyTree import *
import sys

if __name__ == "__main__":
    print(sys.argv)
    rule = sys.argv[-1]
    if rule == "D":
        parent = sys.argv[1]
        children = sys.argv[2:-1]
        if not checkDecomp(parent, children):
            print(False)
            sys.exit(1)
        print(True)
    elif rule == "B":
        parent = sys.argv[1]
        children = sys.argv[2:-1]
        print("Parent: ", parent)
        print("Childran: ", children)
        if not (checkBranch(parent, children) == True):
            print(False)
            sys.exit(1)
        print(True)
    elif rule == "Closed":
        parent = sys.argv[1]
        children = sys.argv[2:-1]
        if not checkContradiction(parent, children):
            print(False)
            sys.exit(1)
        print(True)
    elif rule == "Open":
        parent = sys.argv[1]
        children = sys.argv[2:-1]
        if not checkOpen(children):
            print(False)
            sys.exit(1)
        print(True)
    else:
        sys.exit(1)