viff

changeset 752:3b216d67f51d

Marked litteral block as such.
author Martin Geisler <mg@daimi.au.dk>
date Wed, 14 May 2008 09:35:49 +0200
parents 5dd8c277268c
children baa3cba7fda1
files viff/comparison.py
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line diff
     1.1 --- a/viff/comparison.py	Tue May 13 16:28:41 2008 +0200
     1.2 +++ b/viff/comparison.py	Wed May 14 09:35:49 2008 +0200
     1.3 @@ -128,10 +128,10 @@
     1.4      def _diamond(self, (top_a, bot_a), (top_b, bot_b)):
     1.5          """The "diamond-operator".
     1.6  
     1.7 -        Defined by
     1.8 +        Defined by::
     1.9  
    1.10 -        (x, X) `diamond` (0, Y) = (0, Y)
    1.11 -        (x, X) `diamond` (1, Y) = (x, X)
    1.12 +          (x, X) `diamond` (0, Y) = (0, Y)
    1.13 +          (x, X) `diamond` (1, Y) = (x, X)
    1.14          """
    1.15          top = top_a * top_b
    1.16          bot = top_b * (bot_a ^ bot_b) ^ bot_b