diff options
| author | Thomas Lively <tlively@google.com> | 2023-10-25 22:05:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-25 22:05:31 +0200 |
| commit | ea6bcd01d95466c9178380f9031a2be9505bdf23 (patch) | |
| tree | 6f2cc2c9a670d849f6ca7ced4a673741c9870c39 /src/analysis/lattices/powerset-impl.h | |
| parent | 6ba0f3d282714fa60be2634fbdf48a8ab5a3997d (diff) | |
| download | binaryen-ea6bcd01d95466c9178380f9031a2be9505bdf23.tar.gz binaryen-ea6bcd01d95466c9178380f9031a2be9505bdf23.tar.bz2 binaryen-ea6bcd01d95466c9178380f9031a2be9505bdf23.zip | |
[analysis] Implement Flat lattice (#6039)
Given a type `T`, `Flat<T>` is the lattice where none of the values of `T` are
comparable except with themselves, but they are all greater than a common bottom
element not in `T` and less than a common top element also not in `T`.
Diffstat (limited to 'src/analysis/lattices/powerset-impl.h')
0 files changed, 0 insertions, 0 deletions