LLZK 0.1.0
Veridise's ZK Language IR
Loading...
Searching...
No Matches
llzk::felt::detail::FeltConstantOpGenericAdaptorBase Class Reference
Inheritance diagram for llzk::felt::detail::FeltConstantOpGenericAdaptorBase:
[legend]
Collaboration diagram for llzk::felt::detail::FeltConstantOpGenericAdaptorBase:
[legend]

Classes

struct  Properties
 

Public Member Functions

 FeltConstantOpGenericAdaptorBase (::mlir::DictionaryAttr attrs=nullptr, const Properties &properties={}, ::mlir::RegionRange regions={})
 
 FeltConstantOpGenericAdaptorBase (FeltConstantOp op)
 
std::pair< unsigned, unsigned > getODSOperandIndexAndLength (unsigned index, unsigned odsOperandsSize)
 
const PropertiesgetProperties ()
 
::mlir::DictionaryAttr getAttributes ()
 
::llzk::felt::FeltConstAttr getValueAttr ()
 
::llzk::felt::FeltConstAttr getValue ()
 

Protected Attributes

::mlir::DictionaryAttr odsAttrs
 
::std::optional<::mlir::OperationName > odsOpName
 
Properties properties
 
::mlir::RegionRange odsRegions
 

Detailed Description

Definition at line 504 of file Ops.h.inc.

Constructor & Destructor Documentation

◆ FeltConstantOpGenericAdaptorBase() [1/2]

llzk::felt::detail::FeltConstantOpGenericAdaptorBase::FeltConstantOpGenericAdaptorBase ( ::mlir::DictionaryAttr attrs = nullptr,
const Properties & properties = {},
::mlir::RegionRange regions = {} )

Definition at line 777 of file Ops.cpp.inc.

◆ FeltConstantOpGenericAdaptorBase() [2/2]

llzk::felt::detail::FeltConstantOpGenericAdaptorBase::FeltConstantOpGenericAdaptorBase ( FeltConstantOp op)

Definition at line 781 of file Ops.cpp.inc.

Member Function Documentation

◆ getAttributes()

mlir::DictionaryAttr llzk::felt::detail::FeltConstantOpGenericAdaptorBase::getAttributes ( )

Definition at line 787 of file Ops.cpp.inc.

◆ getODSOperandIndexAndLength()

std::pair< unsigned, unsigned > llzk::felt::detail::FeltConstantOpGenericAdaptorBase::getODSOperandIndexAndLength ( unsigned index,
unsigned odsOperandsSize )

Definition at line 783 of file Ops.cpp.inc.

◆ getProperties()

const Properties & llzk::felt::detail::FeltConstantOpGenericAdaptorBase::getProperties ( )
inline

Definition at line 537 of file Ops.h.inc.

◆ getValue()

llzk::felt::FeltConstAttr llzk::felt::detail::FeltConstantOpGenericAdaptorBase::getValue ( )

Definition at line 796 of file Ops.cpp.inc.

◆ getValueAttr()

llzk::felt::FeltConstAttr llzk::felt::detail::FeltConstantOpGenericAdaptorBase::getValueAttr ( )

Definition at line 791 of file Ops.cpp.inc.

Member Data Documentation

◆ odsAttrs

::mlir::DictionaryAttr llzk::felt::detail::FeltConstantOpGenericAdaptorBase::odsAttrs
protected

Definition at line 527 of file Ops.h.inc.

◆ odsOpName

::std::optional<::mlir::OperationName> llzk::felt::detail::FeltConstantOpGenericAdaptorBase::odsOpName
protected

Definition at line 528 of file Ops.h.inc.

◆ odsRegions

::mlir::RegionRange llzk::felt::detail::FeltConstantOpGenericAdaptorBase::odsRegions
protected

Definition at line 530 of file Ops.h.inc.

◆ properties

Properties llzk::felt::detail::FeltConstantOpGenericAdaptorBase::properties
protected

Definition at line 529 of file Ops.h.inc.


The documentation for this class was generated from the following files: