S

setfunctions

Implementation of set functions to encapsulate non-deterministic computations in a strategy independent manner