Implication

[Torsten Anders]

Hi,

I want to use logic implication. I do not want to further constraint,
_whether_ something is implied. I just want plain implication. I.e., if
I understand correctly, FD.impl is too general for my needs.

So, I came up with the following and just want to ask: does this truly
represents logical implication? (you know, I am not a logician and might
have mistaken something ;-)

/** ReifiedConstraint -> Proc */
proc {Imply ReifiedConstraint Proc}
   B = {ReifiedConstraint}
in
   thread			
      or B=1 then {Proc}
      [] B=0 then skip
      end
   end
end

Thank you!

Best,
Torsten

-- 
Torsten Anders <t.anders at qub.ac.uk>

-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.
Please send bug reports to bugs at mozart-oz.org.