Bool.cpp File Reference

#include "llzk/Dialect/Bool/IR/Attrs.h"
#include "llzk/Dialect/Bool/IR/Dialect.h"
#include "llzk-c/Dialect/Bool.h"
#include <mlir/CAPI/Registration.h>

Include dependency graph for Bool.cpp:

Go to the source code of this file.

Functions
MlirAttribute	llzkFeltCmpPredicateAttrGet (MlirContext ctx, LlzkCmp cmp)
	Returns a llzk::boolean::FeltCmpPredicateAttr attribute.
bool	llzkAttributeIsAFeltCmpPredicateAttr (MlirAttribute attr)

Function Documentation

llzkAttributeIsAFeltCmpPredicateAttr()

bool llzkAttributeIsAFeltCmpPredicateAttr

(

MlirAttribute

attr

)

Definition at line 25 of file Bool.cpp.

llzkFeltCmpPredicateAttrGet()

MlirAttribute llzkFeltCmpPredicateAttrGet	(	MlirContext	ctx,
		LlzkCmp	cmp )

Returns a llzk::boolean::FeltCmpPredicateAttr attribute.

Definition at line 21 of file Bool.cpp.