Commutative
This section of the manual describes the Commutative module.
ReachabilityBase.Commutative — ModuleCommutativeThis module provides the convenience macro @commutative to automatically duplicate a method with the first and second arguments swapped.
ReachabilityBase.Commutative.@commutative — Macro@commutative(f)Macro to declare that a given method is commutative, thus generating the original method and a new method where the first and second arguments are swapped.
Input
f– method definition
Output
A quoted expression containing the method definitions.