def __str__(self):
return self.__class__.__name__ + str_object(self.conditions)
def __str__(self):
if self.sign: return self.__class__.__name__ + str_object(self.args)
return 'not ' + self.__class__.__name__ + str_object(self.args)
def __str__(self):
return self.__class__.__name__ + str_object(self.atoms)
def node_str(self):
node_str = self.value.__class__.__name__
if isinstance(self.value, Operator):
for name, arg in self.value.args.items():
node_str += '\n' + str_object(name) + '=' + str_object(arg)
return node_str