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

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

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