LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::ConstrainRefLatticeValue Member List

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

AbstractLatticeValue(ScalarTy s)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineexplicit
AbstractLatticeValue()llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
AbstractLatticeValue(const mlir::ArrayRef< int64_t > shape)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineexplicit
AbstractLatticeValue(const AbstractLatticeValue &rhs)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
AbstractLatticeValue(ScalarTy s)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineexplicit
AbstractLatticeValue()llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
AbstractLatticeValue(const mlir::ArrayRef< int64_t > shape)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineexplicit
AbstractLatticeValue(const AbstractLatticeValue &rhs)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
ConstrainRefLatticeValue(ScalarTy s)llzk::ConstrainRefLatticeValueinlineexplicit
ConstrainRefLatticeValue(ConstrainRef r)llzk::ConstrainRefLatticeValueinlineexplicit
ConstrainRefLatticeValue()llzk::ConstrainRefLatticeValueinline
ConstrainRefLatticeValue(mlir::ArrayRef< int64_t > shape)llzk::ConstrainRefLatticeValueinlineexplicit
copyArrayShape(const AbstractLatticeValue &rhs)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineprotected
copyArrayShape(const AbstractLatticeValue &rhs)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineprotected
elementwiseTransform(llvm::function_ref< ConstrainRef(const ConstrainRef &)> transform) constllzk::ConstrainRefLatticeValueprotectedvirtual
extract(const std::vector< ConstrainRefIndex > &indices) constllzk::ConstrainRefLatticeValue
foldAndUpdate(const ConstrainRefLatticeValue &rhs)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineprotected
foldAndUpdate(const ConstrainRefLatticeValue &rhs)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineprotected
foldToScalar() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
foldToScalar() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getArrayDim(unsigned i) constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineprotected
getArrayDim(unsigned i) constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineprotected
getArrayShape() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineprotected
getArrayShape() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineprotected
getArraySize() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getArraySize() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getArrayValue() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getArrayValue()llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getArrayValue() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getArrayValue()llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getElemFlatIdx(unsigned i) constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getElemFlatIdx(unsigned i)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getElemFlatIdx(unsigned i) constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getElemFlatIdx(unsigned i)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getNumArrayDims() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getNumArrayDims() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getScalarValue() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getScalarValue()llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getScalarValue() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getScalarValue()llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
getSingleValue() constllzk::ConstrainRefLatticeValueinline
getValue()llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineprotected
getValue()llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineprotected
insert(const ConstrainRef &rhs)llzk::ConstrainRefLatticeValue
isArray() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
isArray() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
isScalar() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
isScalar() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
isSingleValue() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
isSingleValue() constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
operator=(const AbstractLatticeValue &rhs)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
operator=(const AbstractLatticeValue &rhs)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
operator==(const AbstractLatticeValue &rhs) constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
operator==(const AbstractLatticeValue &rhs) constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
print(mlir::raw_ostream &os) constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
print(mlir::raw_ostream &os) constllzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
referenceField(SymbolLookupResult< component::FieldDefOp > fieldRef) constllzk::ConstrainRefLatticeValue
setValue(const AbstractLatticeValue &rhs)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
setValue(const AbstractLatticeValue &rhs)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
translate(const TranslationMap &translation) constllzk::ConstrainRefLatticeValue
translateScalar(const TranslationMap &translation)llzk::ConstrainRefLatticeValueprotected
update(const ConstrainRefLatticeValue &rhs)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
update(const ConstrainRefLatticeValue &rhs)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inline
updateArray(const ArrayTy &rhs)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineprotected
updateArray(const ArrayTy &rhs)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineprotected
updateScalar(const ScalarTy &rhs)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineprotected
updateScalar(const ScalarTy &rhs)llzk::dataflow::AbstractLatticeValue< ConstrainRefLatticeValue, ConstrainRefSet >inlineprotected