Ejemplos de ATerm en Python

Ejemplo n.º 1

Archivo: aterm-test.py Proyecto: jamesonquinn/java2python

 def test_insert(self):
     a = ATerm("a")
     b = ATerm("b")
     a.insert(0,b)
     self.assertEquals(a,b.up)
     a = ATerm("a",[1])
     b = ATerm("b")
     a.insert(0,b)
     self.assertEquals(a,b.up)

Ejemplo n.º 2

Archivo: aterm-test.py Proyecto: jamesonquinn/java2python

 def test_append(self):
     a = ATerm("a")
     b = ATerm("b")
     a.append(b)
     self.assertEquals(a,b.up)