Пример #1
0
 def p_QuantifiedExpr2(self, t):
     'QuantifiedExpr : Quantifier NAME IN LCURLY FLWRexpr RCURLY SATISFIES LPAREN Where RPAREN'
     t[0] = symbols.quantifiedValue(t[1], t[2], t[5], t[9])
Пример #2
0
 def p_QuantifiedExpr2(self, t):
     'QuantifiedExpr : Quantifier NAME IN LCURLY FLWRexpr RCURLY SATISFIES LPAREN Where RPAREN'
     t[0] = symbols.quantifiedValue(t[1], t[2], t[5], t[9])
Пример #3
0
 def p_QuantifiedExpr1(self, t):
     'QuantifiedExpr : Quantifier NAME IN LANGLE Set RANGLE SATISFIES LPAREN Where RPAREN'
     t[0] = symbols.quantifiedValue(t[1], t[2], t[5], t[9])
Пример #4
0
 def p_QuantifiedExpr1(self, t):
     'QuantifiedExpr : Quantifier NAME IN LANGLE Set RANGLE SATISFIES LPAREN Where RPAREN'
     t[0] = symbols.quantifiedValue(t[1], t[2], t[5], t[9])