This is the mail archive of the xsl-list@mulberrytech.com mailing list .


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

RE: XPath: all elements with only non-parent children with identical style attr


> Mike Kay wrote:
> > A != A, where A is a node-set, is true if there is some node
> > in A that is
> > unequal to another node in A.
>
> which surely blows out of the water the application of George Boole
> and his theorems to xslt?

There's never been any question about that: the XPath = and != operators are
clearly non-Boolean. Hence the discussion in XSLT Prog Ref (2nd ed) p 370.

Of course Boolean logic still applies once you expand the operators, reading

	A = B

as shorthand for

	some $a in A, $b in B satisfies $a = $b


Mike Kay


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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]