Python Sort.eqの例

コード例 #1

ファイル: test_adt.py プロジェクト: coetaur0/alpyne

    def test_str_representation(self):
        sort = Sort('sort')
        sort.operation('op', (sort, sort))
        sort.operation('op2', (sort, ))
        sort.operation('eq', (sort, sort))
        sort.variable('x')
        sort.variable('y')
        rule = RewriteRule(
            sort.op(sort.x(), sort.y()), sort.op2(sort.x()),
            [(sort.eq(sort.x(), sort.y()), sort.eq(sort.x(), sort.y()))])
        self.assertEqual(
            str(rule), '(sort.eq(sort.x, sort.y) ==\
 sort.eq(sort.x, sort.y)), => sort.op(sort.x, sort.y) -> sort.op2(sort.x)')

コード例 #2

ファイル: test_adt.py プロジェクト: coetaur0/alpyne

 def test_apply(self):
     sort = Sort('sort')
     sort.operation('op', (sort, sort))
     sort.operation('op2', (sort, ))
     sort.operation('eq', (sort, sort))
     sort.operation('const', ())
     sort.variable('x')
     sort.variable('y')
     rule = RewriteRule(
         sort.op(sort.x(), sort.y()), sort.op2(sort.x()),
         [(sort.eq(sort.x(), sort.y()), sort.eq(sort.x(), sort.y()))])
     term = Term(sort.op, (sort.const(), sort.const()))
     term2 = rule.apply(term)
     self.assertEqual(term2, sort.op2(sort.const()))

コード例 #3

ファイル: test_adt.py プロジェクト: coetaur0/alpyne

 def test_instanciation(self):
     sort = Sort('sort')
     sort.operation('op', (sort, sort))
     sort.operation('op2', (sort, ))
     sort.operation('eq', (sort, sort))
     sort.variable('x')
     sort.variable('y')
     rule = RewriteRule(
         sort.op(sort.x(), sort.y()), sort.op2(sort.x()),
         [(sort.eq(sort.x(), sort.y()), sort.eq(sort.x(), sort.y()))])
     self.assertEqual(type(rule), RewriteRule)
     self.assertEqual(rule.lhs, sort.op(sort.x(), sort.y()))
     self.assertEqual(rule.rhs, sort.op2(sort.x()))
     self.assertEqual(
         rule.conditions,
         [(sort.eq(sort.x(), sort.y()), sort.eq(sort.x(), sort.y()))])