Searched defs:involution (Results 1 – 15 of 15) sorted by relevance
84 (defun involution (e) function
99 inline const BitMap& KLSupport::involution() const {return d_involution;} in involution() function
152 inline const BitMap& KLContext::involution() const in involution() function
195 inline const BitMap& KLContext::involution() const in involution() function
1287 \label{involution} label
1295 \label{involution} label
392 involution = power_of, enumerator
727 involution = power_of, enumerator
759 involution = power_of, enumerator
3374 involution = power_of, enumerator
5345 involution = power_of, enumerator
5294 involution = power_of, enumerator
7584 involution = power_of, enumerator