Esempio n. 1
0
 def __init__(self, funsym, *terms):
     self.rep = funsym
     self.args = flatten(terms)
Esempio n. 2
0
 def __init__(self, relsym, *terms):
     assert not (isinstance(relsym, Atom)), relsym
     self.rep = relsym
     self.args = flatten(terms)
Esempio n. 3
0
 def __init__(self, funsym, *terms):
     self.rep = funsym
     self.args = flatten(terms)
Esempio n. 4
0
 def __init__(self, relsym, *terms):
     self.rep = relsym
     self.args = flatten(terms)
Esempio n. 5
0
File: ivy_ast.py Progetto: odedp/ivy 
 def __init__(self, relsym, *terms):
     assert not(isinstance(relsym,Atom)), relsym
     self.rep = relsym
     self.args = flatten(terms)
Esempio n. 6
0
 def __init__(self, relsym, *terms):
     self.rep = relsym
     self.args = flatten(terms)