-
Notifications
You must be signed in to change notification settings - Fork 1
/
Declare_formulas.py
67 lines (65 loc) · 2.35 KB
/
Declare_formulas.py
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
formulas = []
formulas_names = []
# init(A)
formulas.append("c0")
formulas_names.append("Init(c0)")
#responded existence(A, B)
formulas.append("F c0 i F c1")
formulas_names.append("Responded existence(c0,c1)")
#response(A,B)
formulas.append("G( c0 i F c1)")
formulas_names.append("Response(c0,c1)")
#precedence(A,B)
#formulas.append("(! c1 U c0) | G (! c1)")
#formulas_names.append("Precedence(c0,c1)")
#succession(A,B)
formulas.append('G( c0 i F c1) & (! c1 U c0) | G (! c1)')
formulas_names.append("Succession(c0,c1)")
#alternate response(A,B)
formulas.append('G( c0 i X (! c0 U c1))')
formulas_names.append("Alternate response(c0,c1)")
#alternate precedence(A,B)'
formulas.append('(! c1 U c0) | G(! c1) & G (c1 i X ((! c1 U c0) | G (! c1)))')
formulas_names.append("Alternate precedence(c0,c1)")
#alternate succession
formulas.append('G( c0 i X (! c0 U c1)) & (! c1 U c0) | G (! c1)')
formulas_names.append("Alternate succesion(c0, c1)")
#chain response
formulas.append('G(c0 i X c1)')
formulas_names.append("Chain response(c0, c1)")
#chain precedence
formulas.append('G((X c1) i c0)')
formulas_names.append("Chain precedence(c0,c1)")
#not co-existence
formulas.append('!(F c0 & F c1)')
formulas_names.append("Not co-existence(c0,c1)")
#not succession
formulas.append('G (c0 i ! (F c1))')
formulas_names.append("Not succession(c0,c1)")
#not chain succession
formulas.append('G(c0 i ! (X c1))')
formulas_names.append("Not chain succession(c0,c1)")
#choice
#formulas.append('F c0 | F c1')
#formulas_names.append("Choice(c0,c1)")
#existence(c0, 1)
formulas.append("F(c0 & X ( F(c0)))")
formulas_names.append("Existence(c0,1)")
#existence(c0,2)
formulas.append("F(c0 & X ( F(c0)))")
formulas_names.append("Existence(c0,2)")
#absence(c0,2)
formulas.append("!(F(c0 & X ( F(c0))))")
formulas_names.append("Absence(c0,2)")
#exactly(c0,2)
formulas.append("(F(c0 & X ( F(c0)))) & !( F(c0 & X ( F ( F (c0 & X( F(c0))))) ) )")
formulas_names.append("Exactly(c0,2)")
#co-existence(c0,c1)
formulas.append("(F(c1)) i (F(c0))")
formulas_names.append("Co-existence(c0,c1)")
#chain succession(c0,c1) #rewritten because <-> is not supported by scarlet
formulas.append("(G(c0 i X(c1))) & (G((X c1) i (c0)))")
formulas_names.append("Chain succession(c0,c1)")
#exclusive choice
formulas.append('(F c0 | F c1) & ! (F c0 & F c1)') ##<--- forse un po' troppo restrittiva!
formulas_names.append("Exclusive choice(c0,c1)")