From 565d1c070d8f4c1479e8aab80d92da18e1ea1972 Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Sat, 18 Mar 2017 18:40:33 +0100 Subject: [PATCH] Aesthetics, printing of rsLTL formulae --- logics/rsltl.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/logics/rsltl.py b/logics/rsltl.py index daefcab..48c8b0c 100644 --- a/logics/rsltl.py +++ b/logics/rsltl.py @@ -37,9 +37,9 @@ class Formula_rsLTL(object): if self.f_type == rsLTL_form_type.l_implies: return "( " + repr(self.left_operand) + " => " + repr(self.right_operand) + " )" if self.f_type == rsLTL_form_type.t_until: - return "( " + repr(self.left_operand) + " U[" + repr(self.sub_operand) + "]" + repr(self.right_operand) + " )" + return "( " + repr(self.left_operand) + " U[" + repr(self.sub_operand) + "] " + repr(self.right_operand) + " )" if self.f_type == rsLTL_form_type.t_release: - return "( " + repr(self.left_operand) + " R[" + repr(self.sub_operand) + "]" + repr(self.right_operand) + " )" + return "( " + repr(self.left_operand) + " R[" + repr(self.sub_operand) + "] " + repr(self.right_operand) + " )" @property def is_bag(self):