Ejemplo n.º 1
0
 def iter_terms(self):
     return iter_emptyset()
Ejemplo n.º 2
0
 def iter_quads(self):
     return iter_emptyset()
Ejemplo n.º 3
0
 def iter_variables(self):
     return iter_emptyset()
Ejemplo n.º 4
0
 def iter_terms(self):
     # iterates over alllinear terms, if any
     return iter_emptyset()