RE: [xsl] XPath: all elements with only non-parent children

Subject: RE: [xsl] XPath: all elements with only non-parent children with identical style attr
From: "Michael Kay" <michael.h.kay@xxxxxxxxxxxx>
Date: Thu, 13 Dec 2001 16:02:43 -0000

> DeMorgan's theorem can be proved by complete induction over all
> possible inputs.  I don't think it makes any requirements other than
> that the functions behave like the boolean opeators they're meant to
> emulate.  For example, if there were also type conversions involved,
> one might need too be careful when applying DeMorgan's theorem to
> XPath expressions.  I've not actually analyzed whether there would be
> any screw-cases here or not.

I think de Morgan's law applies correctly to XPath conditional expressions,
even when evaluating one of the operands generates an error.

Mike Kay


 XSL-List info and archive:  http://www.mulberrytech.com/xsl/xsl-list

Current Thread
RE: [xsl] Keep it simple S..., (continued) Michael Kay - Thu, 13 Dec 2001 23:41:08 -0000 Michael Kay - Thu, 13 Dec 2001 22:04:37 -0000 Hunsberger, Peter - Wed, 12 Dec 2001 08:39:55 -0600 Mark Nahabedian - Wed, 12 Dec 2001 13:11:47 -0500 Michael Kay - Thu, 13 Dec 2001 16:02:43 -0000 <= DPawson - Fri, 14 Dec 2001 09:03:09 -0000 Michael Kay - Fri, 14 Dec 2001 09:59:27 -0000

<- Previous	Index	Next ->
RE: [xsl] XPath: all elements with , Mark Nahabedian	Thread	RE: [xsl] XPath: all elements with , DPawson
RE: [xsl] Using xsl to test value o, Chris Bayes	Date	Re: [xsl] Using xsl to test value o, David Carlisle
	Month

<-prev [Thread] next->	<-prev [Date] next->
Month Index \| List Home