This rule defines an action that switches two functions
This rule defines an action that switches two functions. For example, X.f().g() --> X.g().f() Here, "g" is the current function and "f" is its owner.
this page has been generated automatically by doc++
(c)opyright by Malte Zöckler, Roland Wunderling
contact: doc++@zib.de