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