Ejemplos de Proposition en Python

Ejemplo n.º 1

Archivo: parser.py Proyecto: pierregillet/internship-LIS-modal-logic-max-sat-solver

def p_proposition_proposition(p):
    'proposition : PROPOSITION'
    p[0] = op.Proposition(p[1])

Ejemplo n.º 2

Archivo: parser.py Proyecto: pierregillet/internship-LIS-modal-logic-max-sat-solver

def p_proposition_diamond(p):
    'proposition : DIAMOND PROPOSITION'
    p[0] = op.Diamond(op.Proposition(p[2]))

Ejemplo n.º 3

Archivo: parser.py Proyecto: pierregillet/internship-LIS-modal-logic-max-sat-solver

def p_proposition_diamond_not(p):
    'proposition : DIAMOND NOT PROPOSITION'
    p[0] = op.DiamondNot(op.Proposition(p[3]))

Ejemplo n.º 4

Archivo: parser.py Proyecto: pierregillet/internship-LIS-modal-logic-max-sat-solver

def p_proposition_box(p):
    'proposition : BOX PROPOSITION'
    p[0] = op.Box(op.Proposition(p[2]))

Ejemplo n.º 5

Archivo: parser.py Proyecto: pierregillet/internship-LIS-modal-logic-max-sat-solver

def p_proposition_box_not(p):
    'proposition : BOX NOT PROPOSITION'
    p[0] = op.BoxNot(op.Proposition(p[3]))