Specialization of the adapter LambdaValue for instances of PPerm. Note that the the type chosen here limits the Konieczny algorithm to PPerms of degree at most 64 (or 32 on 32-bit systems).
Public Types | |
| using | type = BitSet<BitSet<1>::max_size()> |
| using type = BitSet<BitSet<1>::max_size()> |
For PPerms, type is BitSet<N>, representing the image of the PPerms.