diff options
| author | Thomas Lively <tlively@google.com> | 2023-10-25 21:30:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-25 21:30:31 +0200 |
| commit | 6ba0f3d282714fa60be2634fbdf48a8ab5a3997d (patch) | |
| tree | 45d873c2a38a9e50641254628a59b15d068f49ba /src/analysis/lattices/powerset-impl.h | |
| parent | a09ea699d69ed54741d95b9b5fa2247bdcf28152 (diff) | |
| download | binaryen-6ba0f3d282714fa60be2634fbdf48a8ab5a3997d.tar.gz binaryen-6ba0f3d282714fa60be2634fbdf48a8ab5a3997d.tar.bz2 binaryen-6ba0f3d282714fa60be2634fbdf48a8ab5a3997d.zip | |
[analysis] Add a FullLattice concept and Inverted lattice (#6038)
The FullLattice concept extends the base Lattice with `getTop` and `meet`
operations. The `Inverted` lattice uses these operations to reverse the order of
an arbitrary full lattice, for example to create a lattice of integers ordered
by `>` rather than by `<`.
Diffstat (limited to 'src/analysis/lattices/powerset-impl.h')
0 files changed, 0 insertions, 0 deletions