diff options
| author | Bruce He <44327446+zm2he@users.noreply.github.com> | 2023-07-06 21:39:17 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-06 17:39:17 -0400 |
| commit | cdb7aeab40b4c522de20b242019f7e88641445d5 (patch) | |
| tree | a9609ec7537cb3b758dd592b03efc4c0183915de /test/hello_libcxx.cpp | |
| parent | eb185f5d0706927db5917bf111afa73c6989b249 (diff) | |
| download | binaryen-cdb7aeab40b4c522de20b242019f7e88641445d5.tar.gz binaryen-cdb7aeab40b4c522de20b242019f7e88641445d5.tar.bz2 binaryen-cdb7aeab40b4c522de20b242019f7e88641445d5.zip | |
Generalize Finite Powerset Lattice to Any Given Type (#5800)
This change creates a lattice, FinitePowersetLattice, to represent finite
powerset lattices constructed from sets containing members of arbitrary type
The bitvector finite powerset lattice class is renamed FiniteIntPowersetLattice.
The templated FinitePowersetLattice class contains a FiniteIntPowersetLattice
object, and over that provides functionality to map lattice element members
to bitvector indices. Methods are also provided by the lattice to add or
remove members of the given type from lattice members as an abstraction
over flipping bits in the bitvector.
Diffstat (limited to 'test/hello_libcxx.cpp')
0 files changed, 0 insertions, 0 deletions