def __repr__(self): if self.target_order == "in": return Token._get_negation_string(self)+notation[self.notation]['lbracket']+str(self.content_a) + notation[self.notation]['or'] + str(self.content_b)+notation[self.notation]['rbracket'] if self.target_order == "pre": return Token._get_negation_string(self)+notation[self.notation]['or'] +notation[self.notation]['lbracket']+ str(self.content_a)+str(self.content_b)+notation[self.notation]['rbracket'] if self.target_order == "post": return notation[self.notation]['lbracket']+str(self.content_a)+str(self.content_b)+notation[self.notation]['rbracket'] + notation[self.notation]['or']+Token._get_negation_string(self)
def __repr__(self): if self.target_order=='post': return str(self.content)+'\\exists'+self.lower+Token._get_negation_string(self) else: return Token._get_negation_string(self)+'\\exists'+self.lower +' ('+ str(self.content)+')'