Exemple #1
0
def p_proposition_proposition(p):
    'proposition : PROPOSITION'
    p[0] = op.Proposition(p[1])
Exemple #2
0
def p_proposition_diamond(p):
    'proposition : DIAMOND PROPOSITION'
    p[0] = op.Diamond(op.Proposition(p[2]))
Exemple #3
0
def p_proposition_diamond_not(p):
    'proposition : DIAMOND NOT PROPOSITION'
    p[0] = op.DiamondNot(op.Proposition(p[3]))
Exemple #4
0
def p_proposition_box(p):
    'proposition : BOX PROPOSITION'
    p[0] = op.Box(op.Proposition(p[2]))
Exemple #5
0
def p_proposition_box_not(p):
    'proposition : BOX NOT PROPOSITION'
    p[0] = op.BoxNot(op.Proposition(p[3]))