LLZK 2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::SourceRefLattice Member List

This is the complete list of members for llzk::SourceRefLattice, including all inherited members.

getDefaultValue(ValueTy v)llzk::SourceRefLatticestatic
getSourceRef(mlir::Value val)llzk::SourceRefLatticestatic
getValue() constllzk::SourceRefLatticeinline
join(const AbstractSparseLattice &rhs) overridellzk::SourceRefLattice
LatticeValue typedefllzk::SourceRefLattice
meet(const AbstractSparseLattice &rhs) overridellzk::SourceRefLattice
print(mlir::raw_ostream &os) const overridellzk::SourceRefLattice
Ref2Val typedefllzk::SourceRefLattice
setValue(const LatticeValue &newValue)llzk::SourceRefLattice
setValue(const SourceRef &ref)llzk::SourceRefLattice
ValueTy typedefllzk::SourceRefLattice