-
-
Notifications
You must be signed in to change notification settings - Fork 1
/
input.py
35 lines (27 loc) · 908 Bytes
/
input.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
__author__ = 'marcincuber'
'''
To input correctly formula
:Legend:
AND is represented by the symbol: ^
OR is represented by the symbol: V
IMPLICATION is represented by the symbol: >
BOX (must) is represented by the symbol: #
DIAMOND (possibly) is represented by the symbol: @
:Example input:
str_psi = "~(p > #r) ^ (@p >((@@@s^#t) V (#s ^ @q))) "
which can be easier visualised as
~(p -> []r) ^ (<>p -> ((<><><>s ^ []t) V ([]s ^ <>q)))
:After writting a formula run input.py and it will bring the results
:Do no change the name of the string (str_psi)
'''
'''
:input string
'''
str_psi = "@r"
'''
:function that passes the input.py string to the executing file
'''
def Logic_K_receive():
send_string = str_psi
return send_string
#execfile('Logic_K.py')