timeSetEquals Function Description

Description

This method returns true if both sets of attribute values of type time are equal. Technically, it uses the subset function on the first and second arguments ANDed with the subset function and the second and first argument. Note that duplicate values have no impact on the comparison. For instance, the following 2 sets are equal: [a,a,c,b] and [b,c,a,c].

timeSetEquals belongs to the ALFA function reference's Set functions category. It maps to the XACML function identifier urn:oasis:names:tc:xacml:1.0:function:time-set-equals, takes 2 arguments and returns a value of type boolean.

Property Value
Category Set functions
# Arguments 2
Arguments
  • A bag of type time
  • A bag of type time
Return Value boolean
Expressed As pre-fix
Representation ALFA short name
Allowed In Target false
ALFA Shorthand None
Commutative true

Example

/**
* Allow a user to eat if his feed times coincide exactly with the meal times
*/
rule timeSetEqualsExample{
    target clause Attributes.actionId=="eat"
    permit
    condition timeSetEquals(feedTimes,mealTimes)
}

Allow a user to eat if their feed times are exactly the same as the meal times, no more and no less.