Python Conjunction Examples

Example #1

File: ast_to_ir.py Project: SethPoulsen/Pecan

 def transform_Iff(self, node):
     new_a = self.transform(node.a)
     new_b = self.transform(node.b)
     return ir.Conjunction(ir.Disjunction(ir.Complement(new_a), new_b),
                           ir.Disjunction(ir.Complement(new_b), new_a))

Example #2

File: ast_to_ir.py Project: SethPoulsen/Pecan

 def transform_Conjunction(self, node):
     return ir.Conjunction(self.transform(node.a), self.transform(node.b))