- 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
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),
policy=policy)
--
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