Ejemplos de Exists en Python

Lenguaje de programación: Python

Namespace/Package Name: pecan.lang.ir

Método / Función: Exists

Ejemplos en hotexamples.com: 2

Python Exists - 2 ejemplos encontrados. Estos son los ejemplos en Python del mundo real mejor valorados de pecan.lang.ir.Exists extraídos de proyectos de código abierto. Puedes valorar ejemplos para ayudarnos a mejorar la calidad de los ejemplos.

Ejemplo n.º 1

Mostrar archivo

Archivo: ast_to_ir.py Proyecto: SethPoulsen/Pecan

 def transform_Exists(self, node: Exists):
     var_refs, conds = unzip(
         map(extract_var_cond, map(self.transform, node.var_preds)))
     return ir.Exists(var_refs, conds, self.transform(node.pred))

Ejemplo n.º 2

Mostrar archivo

Archivo: ast_to_ir.py Proyecto: SethPoulsen/Pecan

 def transform_Forall(self, node: Forall):
     var_refs, conds = unzip(
         map(extract_var_cond, map(self.transform, node.var_preds)))
     return ir.Complement(
         ir.Exists(var_refs, conds,
                   ir.Complement(self.transform(node.pred))))