Example #1
0
 def has_cut(self):
   for head, body in self.rules:
     if has_cut(body):
       return True
   return False
Example #2
0
 def has_cut(self):
     for head, body in self.rules:
         if has_cut(body):
             return True
     return False
Example #3
0
 def has_cut(self):
   return has_cut(self.body)
Example #4
0
 def has_cut(self):
     return has_cut(self.body)