The set of predefined libraries of PLaSM operators is listed here, grouped by library and then alphabetically ordered. The rationale and the implementation are discussed in the book by Wiley.
Functions are documented according to the format below. For sake of readability the preconditions are given using the same semantics of a PLaSM definition. The pre- and postconditions are predicates that must be satisfied by the function input and output, respectively.
NAME short description of how the function works
Pre/Post conds function prototype → type of returned value
Example function usage example