W3C home > Mailing lists > Public > public-cwm-talk@w3.org > April to June 2006

Re: check.py

From: Dan Connolly <connolly@w3.org>
Date: Tue, 20 Jun 2006 11:28:03 -0500
To: Daniel Krech <eikeon@eikeon.com>
Cc: public-cwm-talk@w3.org
Message-Id: <1150820883.16839.100.camel@dirk.w3.org>

On Mon, 2006-06-19 at 18:05 -0400, Daniel Krech wrote:
> While working on the PAW demo, I needed to make the following fix to  
> the result method of Checker in order for it to work as advertised  
> when passing r=None.

Sorry for the delay... I couldn't read the patch and I couldn't
get my machine to grok it.

But now I see what you're doing... hmm... I'm inclined to change
the docs rather than the code so that r=None is not a choice.
(in fact, I just did that in v 1.42 2006/06/20 16:26:30).

result() is called recursively, and I'm having trouble convincing
myself of the correctness with this r=None case.

You can see how to call it from main:

      c = Checker(proof)
      proved = c.result(proof.the(pred=rdf.type, obj=reason.Proof),

Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E
Received on Tuesday, 20 June 2006 16:28:15 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:01:05 UTC