LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy > Member List

This is the complete list of members for llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >, including all inherited members.

AbstractLatticeValue(ScalarTy s)llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inlineexplicit
AbstractLatticeValue()llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
AbstractLatticeValue(const mlir::ArrayRef< int64_t > shape)llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inlineexplicit
AbstractLatticeValue(const AbstractLatticeValue &rhs)llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
copyArrayShape(const AbstractLatticeValue &rhs)llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inlineprotected
foldAndUpdate(const Derived &rhs)llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inlineprotected
foldToScalar() constllzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
getArrayDim(unsigned i) constllzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inlineprotected
getArrayShape() constllzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inlineprotected
getArraySize() constllzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
getArrayValue() constllzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
getArrayValue()llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
getElemFlatIdx(unsigned i) constllzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
getElemFlatIdx(unsigned i)llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
getNumArrayDims() constllzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
getScalarValue() constllzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
getScalarValue()llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
getValue()llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inlineprotected
isArray() constllzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
isScalar() constllzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
isSingleValue() constllzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
operator=(const AbstractLatticeValue &rhs)llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
operator==(const AbstractLatticeValue &rhs) constllzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
print(mlir::raw_ostream &os) constllzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
setValue(const AbstractLatticeValue &rhs)llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
update(const Derived &rhs)llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inline
updateArray(const ArrayTy &rhs)llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inlineprotected
updateScalar(const ScalarTy &rhs)llzk::dataflow::AbstractLatticeValue< Derived, ScalarTy >inlineprotected