Bool.h File Reference

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

Include dependency graph for Bool.h:

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

Go to the source code of this file.

Typedefs
typedef enum LlzkCmp	LlzkCmp

Enumerations
enum	LlzkCmp {   LlzkCmp_EQ = 0 , LlzkCmp_NE = 1 , LlzkCmp_LT = 2 , LlzkCmp_LE = 3 ,   LlzkCmp_GT = 4 , LlzkCmp_GE = 5 }

Functions
	MLIR_DECLARE_CAPI_DIALECT_REGISTRATION (Bool, llzk__boolean)
MLIR_CAPI_EXPORTED MlirAttribute	llzkFeltCmpPredicateAttrGet (MlirContext context, LlzkCmp cmp)
	Returns a llzk::boolean::FeltCmpPredicateAttr attribute.
	LLZK_DECLARE_ATTR_ISA (FeltCmpPredicateAttr)
	Returns true if the attribute is a FeltCmpPredicateAttr.

Typedef Documentation

LlzkCmp

typedef enum LlzkCmp LlzkCmp

Definition at line 39 of file Bool.h.

Enumeration Type Documentation

LlzkCmp

enum LlzkCmp

Enumerator
LlzkCmp_EQ
LlzkCmp_NE
LlzkCmp_LT
LlzkCmp_LE
LlzkCmp_GT
LlzkCmp_GE

Definition at line 31 of file Bool.h.

Function Documentation

LLZK_DECLARE_ATTR_ISA()

LLZK_DECLARE_ATTR_ISA

(

FeltCmpPredicateAttr

)

Returns true if the attribute is a FeltCmpPredicateAttr.

llzkFeltCmpPredicateAttrGet()

MLIR_CAPI_EXPORTED MlirAttribute llzkFeltCmpPredicateAttrGet	(	MlirContext	context,
		LlzkCmp	cmp )

Returns a llzk::boolean::FeltCmpPredicateAttr attribute.

Definition at line 21 of file Bool.cpp.

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION()

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION	(	Bool	,
		llzk__boolean	)