Exemplos de Token._get_negation_string em Python

Exemplo n.º 1

Arquivo: Connectives.py Projeto: KacperGawronski/Projekt-LTM

	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)

Exemplo n.º 2

	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)+')'