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

Classes

struct  Properties

Public Member Functions

 CmpOpGenericAdaptorBase (::mlir::DictionaryAttr attrs, const Properties &properties, ::mlir::RegionRange regions={})
 CmpOpGenericAdaptorBase (CmpOp op)
std::pair< unsigned, unsigned > getODSOperandIndexAndLength (unsigned index, unsigned odsOperandsSize)
const PropertiesgetProperties ()
::mlir::DictionaryAttr getAttributes ()
::llzk::boolean::FeltCmpPredicateAttr getPredicateAttr ()
::llzk::boolean::FeltCmpPredicate getPredicate ()

Protected Attributes

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

Detailed Description

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

Constructor & Destructor Documentation

◆ CmpOpGenericAdaptorBase() [1/2]

llzk::boolean::detail::CmpOpGenericAdaptorBase::CmpOpGenericAdaptorBase ( ::mlir::DictionaryAttr attrs,
const Properties & properties,
::mlir::RegionRange regions = {} )
inline

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

◆ CmpOpGenericAdaptorBase() [2/2]

llzk::boolean::detail::CmpOpGenericAdaptorBase::CmpOpGenericAdaptorBase ( CmpOp op)

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

Member Function Documentation

◆ getAttributes()

::mlir::DictionaryAttr llzk::boolean::detail::CmpOpGenericAdaptorBase::getAttributes ( )
inline

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

◆ getODSOperandIndexAndLength()

std::pair< unsigned, unsigned > llzk::boolean::detail::CmpOpGenericAdaptorBase::getODSOperandIndexAndLength ( unsigned index,
unsigned odsOperandsSize )
inline

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

◆ getPredicate()

llzk::boolean::FeltCmpPredicate llzk::boolean::detail::CmpOpGenericAdaptorBase::getPredicate ( )

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

◆ getPredicateAttr()

::llzk::boolean::FeltCmpPredicateAttr llzk::boolean::detail::CmpOpGenericAdaptorBase::getPredicateAttr ( )
inline

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

◆ getProperties()

const Properties & llzk::boolean::detail::CmpOpGenericAdaptorBase::getProperties ( )
inline

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

Member Data Documentation

◆ odsAttrs

::mlir::DictionaryAttr llzk::boolean::detail::CmpOpGenericAdaptorBase::odsAttrs
protected

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

◆ odsOpName

::std::optional<::mlir::OperationName> llzk::boolean::detail::CmpOpGenericAdaptorBase::odsOpName
protected

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

◆ odsRegions

::mlir::RegionRange llzk::boolean::detail::CmpOpGenericAdaptorBase::odsRegions
protected

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

◆ properties

Properties llzk::boolean::detail::CmpOpGenericAdaptorBase::properties
protected

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


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