llzk::verif::ContractOp Member List

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

Adaptor typedef	llzk::verif::ContractOp
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::StringAttr sym_name, ::mlir::SymbolRefAttr target, ::mlir::TypeAttr function_type, ::mlir::ArrayAttr arg_attrs={})	llzk::verif::ContractOp	static
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::mlir::StringAttr sym_name, ::mlir::SymbolRefAttr target, ::mlir::TypeAttr function_type, ::mlir::ArrayAttr arg_attrs={})	llzk::verif::ContractOp	static
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llvm::StringRef sym_name, ::mlir::SymbolRefAttr target, ::mlir::FunctionType function_type, ::mlir::ArrayAttr arg_attrs={})	llzk::verif::ContractOp	static
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::mlir::TypeRange resultTypes, ::llvm::StringRef sym_name, ::mlir::SymbolRefAttr target, ::mlir::FunctionType function_type, ::mlir::ArrayAttr arg_attrs={})	llzk::verif::ContractOp	static
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llvm::StringRef name, llvm::StringRef target)	llzk::verif::ContractOp	static
build(::mlir::OpBuilder &odsBuilder, ::mlir::OperationState &odsState, ::llvm::StringRef name, ::mlir::SymbolRefAttr target)	llzk::verif::ContractOp	static
clone(::mlir::IRMapping &mapper)	llzk::verif::ContractOp
clone()	llzk::verif::ContractOp
cloneInto(ContractOp dest, ::mlir::IRMapping &mapper)	llzk::verif::ContractOp
computePropertiesHash(const Properties &prop)	llzk::verif::ContractOp	static
FoldAdaptor typedef	llzk::verif::ContractOp
GenericAdaptor typedef	llzk::verif::ContractOp
getArgAttrs()	llzk::verif::ContractOp
getArgAttrsAttr()	llzk::verif::ContractOp	inline
getArgAttrsAttrName()	llzk::verif::ContractOp	inline
getArgAttrsAttrName(::mlir::OperationName name)	llzk::verif::ContractOp	inlinestatic
getArgNameAttr(unsigned index)	llzk::verif::ContractOp
getArgumentTypes()	llzk::verif::ContractOp	inline
getAttributeNames()	llzk::verif::ContractOp	inline
getBody()	llzk::verif::ContractOp	inline
getCallableRegion()	llzk::verif::ContractOp	inline
getFullyQualifiedName(bool requireParent=true)	llzk::verif::ContractOp
getFuncTarget(::mlir::SymbolTableCollection &tables)	llzk::verif::ContractOp
getFuncTarget()	llzk::verif::ContractOp	inline
getFunctionType()	llzk::verif::ContractOp
getFunctionTypeAttr()	llzk::verif::ContractOp	inline
getFunctionTypeAttrName()	llzk::verif::ContractOp	inline
getFunctionTypeAttrName(::mlir::OperationName name)	llzk::verif::ContractOp	inlinestatic
getInherentAttr(::mlir::MLIRContext *ctx, const Properties &prop, llvm::StringRef name)	llzk::verif::ContractOp	static
getODSOperandIndexAndLength(unsigned index)	llzk::verif::ContractOp	inline
getODSOperands(unsigned index)	llzk::verif::ContractOp	inline
getODSResultIndexAndLength(unsigned index)	llzk::verif::ContractOp	inline
getODSResults(unsigned index)	llzk::verif::ContractOp	inline
getOperationName()	llzk::verif::ContractOp	inlinestatic
getPropertiesAsAttr(::mlir::MLIRContext *ctx, const Properties &prop)	llzk::verif::ContractOp	static
getResultTypes()	llzk::verif::ContractOp	inline
getSelfValue()	llzk::verif::ContractOp
getStructTarget(::mlir::SymbolTableCollection &tables)	llzk::verif::ContractOp
getStructTarget()	llzk::verif::ContractOp	inline
getSymName()	llzk::verif::ContractOp
getSymNameAttr()	llzk::verif::ContractOp	inline
getSymNameAttrName()	llzk::verif::ContractOp	inline
getSymNameAttrName(::mlir::OperationName name)	llzk::verif::ContractOp	inlinestatic
getTarget()	llzk::verif::ContractOp
getTargetAttr()	llzk::verif::ContractOp	inline
getTargetAttrName()	llzk::verif::ContractOp	inline
getTargetAttrName(::mlir::OperationName name)	llzk::verif::ContractOp	inlinestatic
hasArgName(unsigned index)	llzk::verif::ContractOp
hasArgPublicAttr(unsigned index)	llzk::verif::ContractOp
hasFuncTarget()	llzk::verif::ContractOp	inline
hasStructTarget()	llzk::verif::ContractOp	inline
isDeclaration()	llzk::verif::ContractOp	inline
parse(::mlir::OpAsmParser &parser, ::mlir::OperationState &result)	llzk::verif::ContractOp	static
populateInherentAttrs(::mlir::MLIRContext *ctx, const Properties &prop, ::mlir::NamedAttrList &attrs)	llzk::verif::ContractOp	static
print(::mlir::OpAsmPrinter &p)	llzk::verif::ContractOp
Properties typedef	llzk::verif::ContractOp
readProperties(::mlir::DialectBytecodeReader &reader, ::mlir::OperationState &state)	llzk::verif::ContractOp	static
removeArgAttrsAttr()	llzk::verif::ContractOp	inline
setArgAttrsAttr(::mlir::ArrayAttr attr)	llzk::verif::ContractOp	inline
setArgName(unsigned index, ::llvm::StringRef name)	llzk::verif::ContractOp
setArgNameAttr(unsigned index, const ::mlir::StringAttr &attr)	llzk::verif::ContractOp
setFunctionType(::mlir::FunctionType attrValue)	llzk::verif::ContractOp
setFunctionTypeAttr(::mlir::TypeAttr attr)	llzk::verif::ContractOp	inline
setInherentAttr(Properties &prop, llvm::StringRef name, mlir::Attribute value)	llzk::verif::ContractOp	static
setPropertiesFromAttr(Properties &prop, ::mlir::Attribute attr, ::llvm::function_ref<::mlir::InFlightDiagnostic()> emitError)	llzk::verif::ContractOp	static
setSymName(::llvm::StringRef attrValue)	llzk::verif::ContractOp
setSymNameAttr(::mlir::StringAttr attr)	llzk::verif::ContractOp	inline
setTargetAttr(::mlir::SymbolRefAttr attr)	llzk::verif::ContractOp	inline
verify()	llzk::verif::ContractOp
verifyInherentAttrs(::mlir::OperationName opName, ::mlir::NamedAttrList &attrs, llvm::function_ref<::mlir::InFlightDiagnostic()> emitError)	llzk::verif::ContractOp	static
verifyInvariants()	llzk::verif::ContractOp
verifyInvariantsImpl()	llzk::verif::ContractOp
verifyRegions()	llzk::verif::ContractOp
verifySymbolUses(::mlir::SymbolTableCollection &symbolTable)	llzk::verif::ContractOp
writeProperties(::mlir::DialectBytecodeWriter &writer)	llzk::verif::ContractOp