Utils.h File Reference

#include "llzk/Dialect/Array/IR/Types.h"

Include dependency graph for Utils.h:

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

Go to the source code of this file.

Namespaces
namespace	llzk
namespace	llzk::boolean

Functions
mlir::Type	llzk::boolean::getQuantifierOpDomainIterType (llzk::array::ArrayType arr)
	Extracts the type used for a quantifier op block argument.