LLZK 3.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
llzk::KnownTargetVerifier< OriginOp, TargetOp > Member List

This is the complete list of members for llzk::KnownTargetVerifier< OriginOp, TargetOp >, including all inherited members.

getTarget() constllzk::KnownTargetVerifier< OriginOp, TargetOp >inline
getTargetType() constllzk::KnownTargetVerifier< OriginOp, TargetOp >inline
KnownTargetVerifier(OriginOp *op, const SymbolLookupResult< TargetOp > &target)llzk::KnownTargetVerifier< OriginOp, TargetOp >inline
verifyTemplateInstantiation(polymorphic::TemplateOp tgtOpParent)llzk::KnownTargetVerifier< OriginOp, TargetOp >inline
verifyTypesMatch(mlir::ValueTypeRange< T > originTypes, mlir::ArrayRef< mlir::Type > tgtTypes, const char *aspect)llzk::KnownTargetVerifier< OriginOp, TargetOp >inline