Bool.cpp File Reference

#include "llzk-c/Dialect/Bool.h"
#include "llzk/CAPI/Support.h"
#include "llzk/Dialect/Bool/IR/Attrs.h"
#include "llzk/Dialect/Bool/IR/Dialect.h"
#include "llzk/Dialect/Bool/IR/Ops.h"
#include "llzk/Dialect/Bool/IR/Utils.h"
#include "llzk/Dialect/Bool/Transforms/TransformationPasses.h"
#include "llzk/Util/TypeHelper.h"
#include <mlir/CAPI/Pass.h>
#include <mlir/CAPI/Registration.h>
#include "llzk/Dialect/Bool/IR/Enums.capi.cpp.inc"
#include "llzk/Dialect/Bool/IR/Attrs.capi.cpp.inc"
#include "llzk/Dialect/Bool/IR/Ops.capi.cpp.inc"
#include "llzk/Dialect/Bool/Transforms/TransformationPasses.capi.cpp.inc"

Include dependency graph for Bool.cpp:

Go to the source code of this file.

Functions
MlirType	llzkBool_QuantifierOpGetDomainIterType (MlirType type)
	Returns the type used in a quantifier operation's block argument.

Function Documentation

llzkBool_QuantifierOpGetDomainIterType()

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.