Bool.h File Reference

#include <mlir-c/IR.h>
#include "llzk/Dialect/Bool/IR/Enums.capi.h.inc"
#include "llzk/Dialect/Bool/IR/Attrs.capi.h.inc"
#include "llzk/Dialect/Bool/IR/Ops.capi.h.inc"
#include "llzk/Dialect/Bool/Transforms/TransformationPasses.capi.h.inc"

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.

Functions
	MLIR_DECLARE_CAPI_DIALECT_REGISTRATION (Bool, llzk__boolean)
	Get reference to the LLZK bool dialect.
MLIR_CAPI_EXPORTED MlirType	llzkBool_QuantifierOpGetDomainIterType (MlirType type)
	Returns the type used in a quantifier operation's block argument.

Function Documentation

llzkBool_QuantifierOpGetDomainIterType()

MLIR_CAPI_EXPORTED MlirType llzkBool_QuantifierOpGetDomainIterType

(

MlirType

type

)

Returns the type used in a quantifier operation's block argument.

The given type must be a valid sort type. If it isn't, this function returns a null type.

Definition at line 36 of file Bool.cpp.

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION()

MLIR_DECLARE_CAPI_DIALECT_REGISTRATION	(	Bool	,
		llzk__boolean	)

Get reference to the LLZK bool dialect.