Author: niels
Date: Fri Jun 20 09:52:23 2014
New Revision: 9613
URL: http://svn.gna.org/viewcvs/service-tech?rev=9613&view=rev
Log:
* minor fix in formula output (used `=>' and `<=>' instead of `->' and `<->')
Modified:
trunk/lola2/src/Frontend/Parser/formula_unparse.k
Modified: trunk/lola2/src/Frontend/Parser/formula_unparse.k
URL:
http://svn.gna.org/viewcvs/service-tech/trunk/lola2/src/Frontend/Parser/formula_unparse.k?rev=9613&r1=9612&r2=9613&view=diff
==============================================================================
--- trunk/lola2/src/Frontend/Parser/formula_unparse.k (original)
+++ trunk/lola2/src/Frontend/Parser/formula_unparse.k Fri Jun 20 09:52:23 2014
@@ -70,8 +70,8 @@
Conjunction(x, y) -> [out: "(" x " AND " y ")"];
Disjunction(x, y) -> [out: "(" x " OR " y ")"];
ExclusiveDisjunction(x, y) -> [out: "(" x " XOR " y ")"];
-Implication(x, y) -> [out: "(" x " => " y ")"];
-Equivalence(x, y) -> [out: "(" x " <=> " y ")"];
+Implication(x, y) -> [out: "(" x " -> " y ")"];
+Equivalence(x, y) -> [out: "(" x " <-> " y ")"];
AllPath(x) -> [out: "A" x];
ExPath(x) -> [out: "E" x];
Always(x) -> [out: "G (" x ")"];
--
You received this e-mail, because you subscribed the mailing list
"service-tech-commits" which will forward you any e-mail addressed to
service-tech-commits@gna.org. If you want to unsubscribe or make any changes to
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.
