"else" is what ? Was:Re: [xacml] Generalizing on-permit-apply-second

Hi Erik,

In the current draft the second child is evaluated if the first child
evaluates to Permit, Indeterminate{P} or Indeterminate{DP}. In the extension
to if-then-else, what decision(s) from the first child would cause the
third child to be evaluated ?

Equivalence to your "today" example would mean that we evaluate both the
second and third children and combine the results if the first child evaluates
to Indeterminate{P} or Indeterminate{DP}. We evaluate the third child and
not the second child when the first child evaluates to NotApplicable.

Regards,
Steven

On 23/05/2013 12:21 AM, Erik Rissanen wrote: