llzk::boolean::impl Namespace Reference

Classes
class	LowerBoolQuantifiersPassBase

Functions
std::unique_ptr<::mlir::Pass >	createLowerBoolQuantifiersPass ()

Function Documentation

createLowerBoolQuantifiersPass()

std::unique_ptr<::mlir::Pass > llzk::boolean::impl::createLowerBoolQuantifiersPass

(

)

We declare an explicit private instantiation because Pass classes should only be visible by the current library.

Definition at line 85 of file LowerBoolQuantifiersPass.cpp.