#include "llzk-c/Builder.h"
#include <mlir-c/IR.h>

Include dependency graph for Ops.capi.h.inc:

This graph shows which files directly or indirectly include this file:

Functions
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_AssumeDetOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue hint)
	Build a llzk::verif::AssumeDetOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_AssumeDetOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::AssumeDetOp.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_AssumeDetOpGetHint (MlirOperation op)
	Get Hint operand from llzk::verif::AssumeDetOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_AssumeDetOpSetHint (MlirOperation op, MlirValue value)
	Set Hint operand of llzk::verif::AssumeDetOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_ContractEndOpBuild (MlirOpBuilder builder, MlirLocation location)
	Build a llzk::verif::ContractEndOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_ContractEndOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::ContractEndOp.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_ContractOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::ContractOp.
MLIR_CAPI_EXPORTED MlirAttribute	llzkVerif_ContractOpGetSymName (MlirOperation op)
	Get SymName attribute from llzk::verif::ContractOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_ContractOpSetSymName (MlirOperation op, MlirAttribute attr)
	Set SymName attribute of llzk::verif::ContractOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkVerif_ContractOpGetTarget (MlirOperation op)
	Get Target attribute from llzk::verif::ContractOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_ContractOpSetTarget (MlirOperation op, MlirAttribute attr)
	Set Target attribute of llzk::verif::ContractOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkVerif_ContractOpGetFunctionType (MlirOperation op)
	Get FunctionType attribute from llzk::verif::ContractOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_ContractOpSetFunctionType (MlirOperation op, MlirAttribute attr)
	Set FunctionType attribute of llzk::verif::ContractOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkVerif_ContractOpGetArgAttrs (MlirOperation op)
	Get ArgAttrs attribute from llzk::verif::ContractOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_ContractOpSetArgAttrs (MlirOperation op, MlirAttribute attr)
	Set ArgAttrs attribute of llzk::verif::ContractOp Operation.
MLIR_CAPI_EXPORTED MlirRegion	llzkVerif_ContractOpGetBody (MlirOperation op)
	Get Body region from llzk::verif::ContractOp Operation.
MLIR_CAPI_EXPORTED bool	llzkVerif_ContractOpIsDeclaration (MlirOperation inp)
	Required by SymbolOpInterface.
MLIR_CAPI_EXPORTED bool	llzkVerif_ContractOpHasArgPublicAttr (MlirOperation inp, unsigned index)
	Return true iff the argument at the given index has pub attribute.
MLIR_CAPI_EXPORTED bool	llzkVerif_ContractOpHasFuncTarget (MlirOperation inp)
	Return true iff the contract targets a function.
MLIR_CAPI_EXPORTED bool	llzkVerif_ContractOpHasStructTarget (MlirOperation inp)
	Return true iff the contract targets a struct type.
MLIR_CAPI_EXPORTED MlirRegion	llzkVerif_ContractOpGetCallableRegion (MlirOperation inp)
	Required by FunctionOpInterface.
MLIR_CAPI_EXPORTED bool	llzkVerif_ContractOpHasArgName (MlirOperation inp, unsigned index)
	Return true iff the argument at the given index has a function.arg_name attribute.
MLIR_CAPI_EXPORTED MlirAttribute	llzkVerif_ContractOpGetFullyQualifiedName (MlirOperation inp, bool requireParent)
	Return the full name for this contract from the root module, including all surrounding symbol table names (i.e., modules and structs).
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_DecreasesOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue value)
	Build a llzk::verif::DecreasesOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_DecreasesOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::DecreasesOp.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_DecreasesOpGetValue (MlirOperation op)
	Get Value operand from llzk::verif::DecreasesOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_DecreasesOpSetValue (MlirOperation op, MlirValue value)
	Set Value operand of llzk::verif::DecreasesOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_EnsureComputeOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::EnsureComputeOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_EnsureComputeOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::EnsureComputeOp.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_EnsureComputeOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::EnsureComputeOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_EnsureComputeOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::EnsureComputeOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_EnsureConstrainOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::EnsureConstrainOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_EnsureConstrainOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::EnsureConstrainOp.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_EnsureConstrainOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::EnsureConstrainOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_EnsureConstrainOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::EnsureConstrainOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_IncludeOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::IncludeOp.
MLIR_CAPI_EXPORTED intptr_t	llzkVerif_IncludeOpGetArgOperandsCount (MlirOperation op)
	Get number of ArgOperands operands in llzk::verif::IncludeOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_IncludeOpGetArgOperandsAt (MlirOperation op, intptr_t index)
	Get ArgOperands operand at index from llzk::verif::IncludeOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_IncludeOpSetArgOperands (MlirOperation op, intptr_t count, MlirValue const *values)
	Set ArgOperands operands of llzk::verif::IncludeOp Operation.
MLIR_CAPI_EXPORTED intptr_t	llzkVerif_IncludeOpGetMapOperandsCount (MlirOperation op)
	Get number of MapOperands operands in llzk::verif::IncludeOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_IncludeOpGetMapOperandsAt (MlirOperation op, intptr_t index)
	Get MapOperands operand at index from llzk::verif::IncludeOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_IncludeOpSetMapOperands (MlirOperation op, intptr_t groupCount, MlirValueRange const *groups)
	Set MapOperands operand groups of llzk::verif::IncludeOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkVerif_IncludeOpGetCallee (MlirOperation op)
	Get Callee attribute from llzk::verif::IncludeOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_IncludeOpSetCallee (MlirOperation op, MlirAttribute attr)
	Set Callee attribute of llzk::verif::IncludeOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkVerif_IncludeOpGetTemplateParams (MlirOperation op)
	Get TemplateParams attribute from llzk::verif::IncludeOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_IncludeOpSetTemplateParams (MlirOperation op, MlirAttribute attr)
	Set TemplateParams attribute of llzk::verif::IncludeOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkVerif_IncludeOpGetNumDimsPerMap (MlirOperation op)
	Get NumDimsPerMap attribute from llzk::verif::IncludeOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_IncludeOpSetNumDimsPerMap (MlirOperation op, MlirAttribute attr)
	Set NumDimsPerMap attribute of llzk::verif::IncludeOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkVerif_IncludeOpGetMapOpGroupSizes (MlirOperation op)
	Get MapOpGroupSizes attribute from llzk::verif::IncludeOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_IncludeOpSetMapOpGroupSizes (MlirOperation op, MlirAttribute attr)
	Set MapOpGroupSizes attribute of llzk::verif::IncludeOp Operation.
MLIR_CAPI_EXPORTED bool	llzkVerif_IncludeOpContractTargetsStruct (MlirOperation inp)
	Return true iff the contract targets a struct type.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_IncludeOpGetSelfValue (MlirOperation inp)
	Return the "self" value (i.e.
MLIR_CAPI_EXPORTED MlirType	llzkVerif_IncludeOpGetTypeSignature (MlirOperation inp)
	Return the FunctionType inferred from the arg operands of this CallOp.
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_IncludeOpResolveCallable (MlirOperation inp)
	Required by CallOpInterface.
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_IncreasesOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue value)
	Build a llzk::verif::IncreasesOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_IncreasesOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::IncreasesOp.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_IncreasesOpGetValue (MlirOperation op)
	Get Value operand from llzk::verif::IncreasesOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_IncreasesOpSetValue (MlirOperation op, MlirValue value)
	Set Value operand of llzk::verif::IncreasesOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_InvariantOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::InvariantOp.
MLIR_CAPI_EXPORTED MlirAttribute	llzkVerif_InvariantOpGetLoopName (MlirOperation op)
	Get LoopName attribute from llzk::verif::InvariantOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_InvariantOpSetLoopName (MlirOperation op, MlirAttribute attr)
	Set LoopName attribute of llzk::verif::InvariantOp Operation.
MLIR_CAPI_EXPORTED MlirAttribute	llzkVerif_InvariantOpGetLoopArgTypes (MlirOperation op)
	Get LoopArgTypes attribute from llzk::verif::InvariantOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_InvariantOpSetLoopArgTypes (MlirOperation op, MlirAttribute attr)
	Set LoopArgTypes attribute of llzk::verif::InvariantOp Operation.
MLIR_CAPI_EXPORTED MlirRegion	llzkVerif_InvariantOpGetRegion (MlirOperation op)
	Get Region region from llzk::verif::InvariantOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_InvariantOpGetParentContract (MlirOperation inp)
	Returns the contract operation that contains this invariant.
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_OldOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue value)
	Build a llzk::verif::OldOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_OldOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::OldOp.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_OldOpGetValue (MlirOperation op)
	Get Value operand from llzk::verif::OldOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_OldOpSetValue (MlirOperation op, MlirValue value)
	Set Value operand of llzk::verif::OldOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_OldOpGetResult (MlirOperation op)
	Get Result result from llzk::verif::OldOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_ProveDetOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::ProveDetOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_ProveDetOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::ProveDetOp.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_ProveDetOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::ProveDetOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_ProveDetOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::ProveDetOp Operation.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_ProveDetOpGetResult (MlirOperation op)
	Get Result result from llzk::verif::ProveDetOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_RequireComputeOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::RequireComputeOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_RequireComputeOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::RequireComputeOp.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_RequireComputeOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::RequireComputeOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_RequireComputeOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::RequireComputeOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_RequireConstrainOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::RequireConstrainOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_RequireConstrainOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::RequireConstrainOp.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_RequireConstrainOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::RequireConstrainOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_RequireConstrainOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::RequireConstrainOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_StepOpBuild (MlirOpBuilder builder, MlirLocation location)
	Build a llzk::verif::StepOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_StepOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::StepOp.
MLIR_CAPI_EXPORTED MlirRegion	llzkVerif_StepOpGetRegion (MlirOperation op)
	Get Region region from llzk::verif::StepOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_StepYieldOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue value)
	Build a llzk::verif::StepYieldOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_StepYieldOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::StepYieldOp.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_StepYieldOpGetValue (MlirOperation op)
	Get Value operand from llzk::verif::StepYieldOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_StepYieldOpSetValue (MlirOperation op, MlirValue value)
	Set Value operand of llzk::verif::StepYieldOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_VerifAssertOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::VerifAssertOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_VerifAssertOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::VerifAssertOp.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_VerifAssertOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::VerifAssertOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_VerifAssertOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::VerifAssertOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_VerifProveOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::VerifProveOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_VerifProveOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::VerifProveOp.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_VerifProveOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::VerifProveOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_VerifProveOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::VerifProveOp Operation.
MLIR_CAPI_EXPORTED MlirOperation	llzkVerif_VerifSMTProveOpBuild (MlirOpBuilder builder, MlirLocation location, MlirValue condition)
	Build a llzk::verif::VerifSMTProveOp Operation.
MLIR_CAPI_EXPORTED bool	llzkOperationIsA_Verif_VerifSMTProveOp (MlirOperation)
	Returns true if the Operation is a llzk::verif::VerifSMTProveOp.
MLIR_CAPI_EXPORTED MlirValue	llzkVerif_VerifSMTProveOpGetCondition (MlirOperation op)
	Get Condition operand from llzk::verif::VerifSMTProveOp Operation.
MLIR_CAPI_EXPORTED void	llzkVerif_VerifSMTProveOpSetCondition (MlirOperation op, MlirValue value)
	Set Condition operand of llzk::verif::VerifSMTProveOp Operation.

Function Documentation

◆ llzkOperationIsA_Verif_AssumeDetOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_AssumeDetOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::AssumeDetOp.

Definition at line 23 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_ContractEndOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_ContractEndOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::ContractEndOp.

Definition at line 53 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_ContractOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_ContractOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::ContractOp.

Definition at line 57 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_DecreasesOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_DecreasesOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::DecreasesOp.

Definition at line 132 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_EnsureComputeOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_EnsureComputeOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::EnsureComputeOp.

Definition at line 163 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_EnsureConstrainOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_EnsureConstrainOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::EnsureConstrainOp.

Definition at line 194 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_IncludeOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_IncludeOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::IncludeOp.

Definition at line 218 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_IncreasesOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_IncreasesOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::IncreasesOp.

Definition at line 350 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_InvariantOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_InvariantOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::InvariantOp.

Definition at line 374 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_OldOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_OldOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::OldOp.

Definition at line 410 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_ProveDetOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_ProveDetOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::ProveDetOp.

Definition at line 446 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_RequireComputeOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_RequireComputeOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::RequireComputeOp.

Definition at line 481 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_RequireConstrainOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_RequireConstrainOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::RequireConstrainOp.

Definition at line 512 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_StepOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_StepOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::StepOp.

Definition at line 545 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_StepYieldOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_StepYieldOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::StepYieldOp.

Definition at line 560 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_VerifAssertOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_VerifAssertOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::VerifAssertOp.

Definition at line 591 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_VerifProveOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_VerifProveOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::VerifProveOp.

Definition at line 622 of file Ops.capi.cpp.inc.

◆ llzkOperationIsA_Verif_VerifSMTProveOp()

MLIR_CAPI_EXPORTED bool llzkOperationIsA_Verif_VerifSMTProveOp ( MlirOperation inp )

Returns true if the Operation is a llzk::verif::VerifSMTProveOp.

Definition at line 653 of file Ops.capi.cpp.inc.

◆ llzkVerif_AssumeDetOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_AssumeDetOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	hint )

Build a llzk::verif::AssumeDetOp Operation.

Definition at line 16 of file Ops.capi.cpp.inc.

◆ llzkVerif_AssumeDetOpGetHint()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_AssumeDetOpGetHint ( MlirOperation op )

Get Hint operand from llzk::verif::AssumeDetOp Operation.

Definition at line 27 of file Ops.capi.cpp.inc.

◆ llzkVerif_AssumeDetOpSetHint()

MLIR_CAPI_EXPORTED void llzkVerif_AssumeDetOpSetHint	(	MlirOperation	op,
		MlirValue	value )

Set Hint operand of llzk::verif::AssumeDetOp Operation.

Definition at line 37 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractEndOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_ContractEndOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location )

Build a llzk::verif::ContractEndOp Operation.

Definition at line 47 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractOpGetArgAttrs()

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_ContractOpGetArgAttrs ( MlirOperation op )

Get ArgAttrs attribute from llzk::verif::ContractOp Operation.

Definition at line 85 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractOpGetBody()

MLIR_CAPI_EXPORTED MlirRegion llzkVerif_ContractOpGetBody ( MlirOperation op )

Get Body region from llzk::verif::ContractOp Operation.

Definition at line 93 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractOpGetCallableRegion()

MLIR_CAPI_EXPORTED MlirRegion llzkVerif_ContractOpGetCallableRegion ( MlirOperation inp )

Required by FunctionOpInterface.

Returns the region on the current operation that is callable.

Definition at line 113 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractOpGetFullyQualifiedName()

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_ContractOpGetFullyQualifiedName	(	MlirOperation	inp,
		bool	requireParent )

Return the full name for this contract from the root module, including all surrounding symbol table names (i.e., modules and structs).

Definition at line 121 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractOpGetFunctionType()

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_ContractOpGetFunctionType ( MlirOperation op )

Get FunctionType attribute from llzk::verif::ContractOp Operation.

Definition at line 77 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractOpGetSymName()

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_ContractOpGetSymName ( MlirOperation op )

Get SymName attribute from llzk::verif::ContractOp Operation.

Definition at line 61 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractOpGetTarget()

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_ContractOpGetTarget ( MlirOperation op )

Get Target attribute from llzk::verif::ContractOp Operation.

Definition at line 69 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractOpHasArgName()

MLIR_CAPI_EXPORTED bool llzkVerif_ContractOpHasArgName	(	MlirOperation	inp,
		unsigned	index )

Return true iff the argument at the given index has a function.arg_name attribute.

Definition at line 117 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractOpHasArgPublicAttr()

MLIR_CAPI_EXPORTED bool llzkVerif_ContractOpHasArgPublicAttr	(	MlirOperation	inp,
		unsigned	index )

Return true iff the argument at the given index has pub attribute.

Definition at line 101 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractOpHasFuncTarget()

MLIR_CAPI_EXPORTED bool llzkVerif_ContractOpHasFuncTarget ( MlirOperation inp )

Return true iff the contract targets a function.

Definition at line 105 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractOpHasStructTarget()

MLIR_CAPI_EXPORTED bool llzkVerif_ContractOpHasStructTarget ( MlirOperation inp )

Return true iff the contract targets a struct type.

Definition at line 109 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractOpIsDeclaration()

MLIR_CAPI_EXPORTED bool llzkVerif_ContractOpIsDeclaration ( MlirOperation inp )

Required by SymbolOpInterface.

Definition at line 97 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractOpSetArgAttrs()

MLIR_CAPI_EXPORTED void llzkVerif_ContractOpSetArgAttrs	(	MlirOperation	op,
		MlirAttribute	attr )

Set ArgAttrs attribute of llzk::verif::ContractOp Operation.

Definition at line 89 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractOpSetFunctionType()

MLIR_CAPI_EXPORTED void llzkVerif_ContractOpSetFunctionType	(	MlirOperation	op,
		MlirAttribute	attr )

Set FunctionType attribute of llzk::verif::ContractOp Operation.

Definition at line 81 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractOpSetSymName()

MLIR_CAPI_EXPORTED void llzkVerif_ContractOpSetSymName	(	MlirOperation	op,
		MlirAttribute	attr )

Set SymName attribute of llzk::verif::ContractOp Operation.

Definition at line 65 of file Ops.capi.cpp.inc.

◆ llzkVerif_ContractOpSetTarget()

MLIR_CAPI_EXPORTED void llzkVerif_ContractOpSetTarget	(	MlirOperation	op,
		MlirAttribute	attr )

Set Target attribute of llzk::verif::ContractOp Operation.

Definition at line 73 of file Ops.capi.cpp.inc.

◆ llzkVerif_DecreasesOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_DecreasesOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	value )

Build a llzk::verif::DecreasesOp Operation.

Definition at line 125 of file Ops.capi.cpp.inc.

◆ llzkVerif_DecreasesOpGetValue()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_DecreasesOpGetValue ( MlirOperation op )

Get Value operand from llzk::verif::DecreasesOp Operation.

Definition at line 136 of file Ops.capi.cpp.inc.

◆ llzkVerif_DecreasesOpSetValue()

MLIR_CAPI_EXPORTED void llzkVerif_DecreasesOpSetValue	(	MlirOperation	op,
		MlirValue	value )

Set Value operand of llzk::verif::DecreasesOp Operation.

Definition at line 146 of file Ops.capi.cpp.inc.

◆ llzkVerif_EnsureComputeOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_EnsureComputeOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::EnsureComputeOp Operation.

Definition at line 156 of file Ops.capi.cpp.inc.

◆ llzkVerif_EnsureComputeOpGetCondition()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_EnsureComputeOpGetCondition ( MlirOperation op )

Get Condition operand from llzk::verif::EnsureComputeOp Operation.

Definition at line 167 of file Ops.capi.cpp.inc.

◆ llzkVerif_EnsureComputeOpSetCondition()

MLIR_CAPI_EXPORTED void llzkVerif_EnsureComputeOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::EnsureComputeOp Operation.

Definition at line 177 of file Ops.capi.cpp.inc.

◆ llzkVerif_EnsureConstrainOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_EnsureConstrainOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::EnsureConstrainOp Operation.

Definition at line 187 of file Ops.capi.cpp.inc.

◆ llzkVerif_EnsureConstrainOpGetCondition()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_EnsureConstrainOpGetCondition ( MlirOperation op )

Get Condition operand from llzk::verif::EnsureConstrainOp Operation.

Definition at line 198 of file Ops.capi.cpp.inc.

◆ llzkVerif_EnsureConstrainOpSetCondition()

MLIR_CAPI_EXPORTED void llzkVerif_EnsureConstrainOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::EnsureConstrainOp Operation.

Definition at line 208 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpContractTargetsStruct()

MLIR_CAPI_EXPORTED bool llzkVerif_IncludeOpContractTargetsStruct ( MlirOperation inp )

Return true iff the contract targets a struct type.

Definition at line 327 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpGetArgOperandsAt()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_IncludeOpGetArgOperandsAt	(	MlirOperation	op,
		intptr_t	index )

Get ArgOperands operand at index from llzk::verif::IncludeOp Operation.

Definition at line 227 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpGetArgOperandsCount()

MLIR_CAPI_EXPORTED intptr_t llzkVerif_IncludeOpGetArgOperandsCount ( MlirOperation op )

Get number of ArgOperands operands in llzk::verif::IncludeOp Operation.

Definition at line 222 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpGetCallee()

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_IncludeOpGetCallee ( MlirOperation op )

Get Callee attribute from llzk::verif::IncludeOp Operation.

Definition at line 295 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpGetMapOperandsAt()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_IncludeOpGetMapOperandsAt	(	MlirOperation	op,
		intptr_t	index )

Get MapOperands operand at index from llzk::verif::IncludeOp Operation.

Definition at line 252 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpGetMapOperandsCount()

MLIR_CAPI_EXPORTED intptr_t llzkVerif_IncludeOpGetMapOperandsCount ( MlirOperation op )

Get number of MapOperands operands in llzk::verif::IncludeOp Operation.

Definition at line 247 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpGetMapOpGroupSizes()

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_IncludeOpGetMapOpGroupSizes ( MlirOperation op )

Get MapOpGroupSizes attribute from llzk::verif::IncludeOp Operation.

Definition at line 319 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpGetNumDimsPerMap()

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_IncludeOpGetNumDimsPerMap ( MlirOperation op )

Get NumDimsPerMap attribute from llzk::verif::IncludeOp Operation.

Definition at line 311 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpGetSelfValue()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_IncludeOpGetSelfValue ( MlirOperation inp )

Return the "self" value (i.e.

the first parameter) from the callee contract, assuming the target of the contract is a struct target.

Definition at line 331 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpGetTemplateParams()

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_IncludeOpGetTemplateParams ( MlirOperation op )

Get TemplateParams attribute from llzk::verif::IncludeOp Operation.

Definition at line 303 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpGetTypeSignature()

MLIR_CAPI_EXPORTED MlirType llzkVerif_IncludeOpGetTypeSignature ( MlirOperation inp )

Return the FunctionType inferred from the arg operands of this CallOp.

This is not necessarily the same as the callee's FunctionType but should unify with it or else IR verification will fail.

Definition at line 335 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpResolveCallable()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_IncludeOpResolveCallable ( MlirOperation inp )

Required by CallOpInterface.

Definition at line 339 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpSetArgOperands()

MLIR_CAPI_EXPORTED void llzkVerif_IncludeOpSetArgOperands	(	MlirOperation	op,
		intptr_t	count,
		MlirValue const *	values )

Set ArgOperands operands of llzk::verif::IncludeOp Operation.

Definition at line 237 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpSetCallee()

MLIR_CAPI_EXPORTED void llzkVerif_IncludeOpSetCallee	(	MlirOperation	op,
		MlirAttribute	attr )

Set Callee attribute of llzk::verif::IncludeOp Operation.

Definition at line 299 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpSetMapOperands()

MLIR_CAPI_EXPORTED void llzkVerif_IncludeOpSetMapOperands	(	MlirOperation	op,
		intptr_t	groupCount,
		MlirValueRange const *	groups )

Set MapOperands operand groups of llzk::verif::IncludeOp Operation.

Each element of groups represents one group; its size field drives the per-group segment-size attribute and values supplies the operands for that group.

Definition at line 262 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpSetMapOpGroupSizes()

MLIR_CAPI_EXPORTED void llzkVerif_IncludeOpSetMapOpGroupSizes	(	MlirOperation	op,
		MlirAttribute	attr )

Set MapOpGroupSizes attribute of llzk::verif::IncludeOp Operation.

Definition at line 323 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpSetNumDimsPerMap()

MLIR_CAPI_EXPORTED void llzkVerif_IncludeOpSetNumDimsPerMap	(	MlirOperation	op,
		MlirAttribute	attr )

Set NumDimsPerMap attribute of llzk::verif::IncludeOp Operation.

Definition at line 315 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncludeOpSetTemplateParams()

MLIR_CAPI_EXPORTED void llzkVerif_IncludeOpSetTemplateParams	(	MlirOperation	op,
		MlirAttribute	attr )

Set TemplateParams attribute of llzk::verif::IncludeOp Operation.

Definition at line 307 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncreasesOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_IncreasesOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	value )

Build a llzk::verif::IncreasesOp Operation.

Definition at line 343 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncreasesOpGetValue()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_IncreasesOpGetValue ( MlirOperation op )

Get Value operand from llzk::verif::IncreasesOp Operation.

Definition at line 354 of file Ops.capi.cpp.inc.

◆ llzkVerif_IncreasesOpSetValue()

MLIR_CAPI_EXPORTED void llzkVerif_IncreasesOpSetValue	(	MlirOperation	op,
		MlirValue	value )

Set Value operand of llzk::verif::IncreasesOp Operation.

Definition at line 364 of file Ops.capi.cpp.inc.

◆ llzkVerif_InvariantOpGetLoopArgTypes()

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_InvariantOpGetLoopArgTypes ( MlirOperation op )

Get LoopArgTypes attribute from llzk::verif::InvariantOp Operation.

Definition at line 386 of file Ops.capi.cpp.inc.

◆ llzkVerif_InvariantOpGetLoopName()

MLIR_CAPI_EXPORTED MlirAttribute llzkVerif_InvariantOpGetLoopName ( MlirOperation op )

Get LoopName attribute from llzk::verif::InvariantOp Operation.

Definition at line 378 of file Ops.capi.cpp.inc.

◆ llzkVerif_InvariantOpGetParentContract()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_InvariantOpGetParentContract ( MlirOperation inp )

Returns the contract operation that contains this invariant.

Definition at line 398 of file Ops.capi.cpp.inc.

◆ llzkVerif_InvariantOpGetRegion()

MLIR_CAPI_EXPORTED MlirRegion llzkVerif_InvariantOpGetRegion ( MlirOperation op )

Get Region region from llzk::verif::InvariantOp Operation.

Definition at line 394 of file Ops.capi.cpp.inc.

◆ llzkVerif_InvariantOpSetLoopArgTypes()

MLIR_CAPI_EXPORTED void llzkVerif_InvariantOpSetLoopArgTypes	(	MlirOperation	op,
		MlirAttribute	attr )

Set LoopArgTypes attribute of llzk::verif::InvariantOp Operation.

Definition at line 390 of file Ops.capi.cpp.inc.

◆ llzkVerif_InvariantOpSetLoopName()

MLIR_CAPI_EXPORTED void llzkVerif_InvariantOpSetLoopName	(	MlirOperation	op,
		MlirAttribute	attr )

Set LoopName attribute of llzk::verif::InvariantOp Operation.

Definition at line 382 of file Ops.capi.cpp.inc.

◆ llzkVerif_OldOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_OldOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	value )

Build a llzk::verif::OldOp Operation.

Definition at line 402 of file Ops.capi.cpp.inc.

◆ llzkVerif_OldOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_OldOpGetResult ( MlirOperation op )

Get Result result from llzk::verif::OldOp Operation.

Definition at line 434 of file Ops.capi.cpp.inc.

◆ llzkVerif_OldOpGetValue()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_OldOpGetValue ( MlirOperation op )

Get Value operand from llzk::verif::OldOp Operation.

Definition at line 414 of file Ops.capi.cpp.inc.

◆ llzkVerif_OldOpSetValue()

MLIR_CAPI_EXPORTED void llzkVerif_OldOpSetValue	(	MlirOperation	op,
		MlirValue	value )

Set Value operand of llzk::verif::OldOp Operation.

Definition at line 424 of file Ops.capi.cpp.inc.

◆ llzkVerif_ProveDetOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_ProveDetOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::ProveDetOp Operation.

Definition at line 438 of file Ops.capi.cpp.inc.

◆ llzkVerif_ProveDetOpGetCondition()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_ProveDetOpGetCondition ( MlirOperation op )

Get Condition operand from llzk::verif::ProveDetOp Operation.

Definition at line 450 of file Ops.capi.cpp.inc.

◆ llzkVerif_ProveDetOpGetResult()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_ProveDetOpGetResult ( MlirOperation op )

Get Result result from llzk::verif::ProveDetOp Operation.

Definition at line 470 of file Ops.capi.cpp.inc.

◆ llzkVerif_ProveDetOpSetCondition()

MLIR_CAPI_EXPORTED void llzkVerif_ProveDetOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::ProveDetOp Operation.

Definition at line 460 of file Ops.capi.cpp.inc.

◆ llzkVerif_RequireComputeOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_RequireComputeOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::RequireComputeOp Operation.

Definition at line 474 of file Ops.capi.cpp.inc.

◆ llzkVerif_RequireComputeOpGetCondition()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_RequireComputeOpGetCondition ( MlirOperation op )

Get Condition operand from llzk::verif::RequireComputeOp Operation.

Definition at line 485 of file Ops.capi.cpp.inc.

◆ llzkVerif_RequireComputeOpSetCondition()

MLIR_CAPI_EXPORTED void llzkVerif_RequireComputeOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::RequireComputeOp Operation.

Definition at line 495 of file Ops.capi.cpp.inc.

◆ llzkVerif_RequireConstrainOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_RequireConstrainOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::RequireConstrainOp Operation.

Definition at line 505 of file Ops.capi.cpp.inc.

◆ llzkVerif_RequireConstrainOpGetCondition()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_RequireConstrainOpGetCondition ( MlirOperation op )

Get Condition operand from llzk::verif::RequireConstrainOp Operation.

Definition at line 516 of file Ops.capi.cpp.inc.

◆ llzkVerif_RequireConstrainOpSetCondition()

MLIR_CAPI_EXPORTED void llzkVerif_RequireConstrainOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::RequireConstrainOp Operation.

Definition at line 526 of file Ops.capi.cpp.inc.

◆ llzkVerif_StepOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_StepOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location )

Build a llzk::verif::StepOp Operation.

Definition at line 536 of file Ops.capi.cpp.inc.

◆ llzkVerif_StepOpGetRegion()

MLIR_CAPI_EXPORTED MlirRegion llzkVerif_StepOpGetRegion ( MlirOperation op )

Get Region region from llzk::verif::StepOp Operation.

Definition at line 549 of file Ops.capi.cpp.inc.

◆ llzkVerif_StepYieldOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_StepYieldOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	value )

Build a llzk::verif::StepYieldOp Operation.

Definition at line 553 of file Ops.capi.cpp.inc.

◆ llzkVerif_StepYieldOpGetValue()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_StepYieldOpGetValue ( MlirOperation op )

Get Value operand from llzk::verif::StepYieldOp Operation.

Definition at line 564 of file Ops.capi.cpp.inc.

◆ llzkVerif_StepYieldOpSetValue()

MLIR_CAPI_EXPORTED void llzkVerif_StepYieldOpSetValue	(	MlirOperation	op,
		MlirValue	value )

Set Value operand of llzk::verif::StepYieldOp Operation.

Definition at line 574 of file Ops.capi.cpp.inc.

◆ llzkVerif_VerifAssertOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_VerifAssertOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::VerifAssertOp Operation.

Definition at line 584 of file Ops.capi.cpp.inc.

◆ llzkVerif_VerifAssertOpGetCondition()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_VerifAssertOpGetCondition ( MlirOperation op )

Get Condition operand from llzk::verif::VerifAssertOp Operation.

Definition at line 595 of file Ops.capi.cpp.inc.

◆ llzkVerif_VerifAssertOpSetCondition()

MLIR_CAPI_EXPORTED void llzkVerif_VerifAssertOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::VerifAssertOp Operation.

Definition at line 605 of file Ops.capi.cpp.inc.

◆ llzkVerif_VerifProveOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_VerifProveOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::VerifProveOp Operation.

Definition at line 615 of file Ops.capi.cpp.inc.

◆ llzkVerif_VerifProveOpGetCondition()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_VerifProveOpGetCondition ( MlirOperation op )

Get Condition operand from llzk::verif::VerifProveOp Operation.

Definition at line 626 of file Ops.capi.cpp.inc.

◆ llzkVerif_VerifProveOpSetCondition()

MLIR_CAPI_EXPORTED void llzkVerif_VerifProveOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::VerifProveOp Operation.

Definition at line 636 of file Ops.capi.cpp.inc.

◆ llzkVerif_VerifSMTProveOpBuild()

MLIR_CAPI_EXPORTED MlirOperation llzkVerif_VerifSMTProveOpBuild	(	MlirOpBuilder	builder,
		MlirLocation	location,
		MlirValue	condition )

Build a llzk::verif::VerifSMTProveOp Operation.

Definition at line 646 of file Ops.capi.cpp.inc.

◆ llzkVerif_VerifSMTProveOpGetCondition()

MLIR_CAPI_EXPORTED MlirValue llzkVerif_VerifSMTProveOpGetCondition ( MlirOperation op )

Get Condition operand from llzk::verif::VerifSMTProveOp Operation.

Definition at line 657 of file Ops.capi.cpp.inc.

◆ llzkVerif_VerifSMTProveOpSetCondition()

MLIR_CAPI_EXPORTED void llzkVerif_VerifSMTProveOpSetCondition	(	MlirOperation	op,
		MlirValue	value )

Set Condition operand of llzk::verif::VerifSMTProveOp Operation.

Definition at line 667 of file Ops.capi.cpp.inc.

Functions