llzk::constrain Namespace Reference

Namespaces
namespace	detail

Classes
class	ConstrainDialect
class	ConstraintOpInterface
class	EmitContainmentOp
class	EmitContainmentOpAdaptor
class	EmitContainmentOpGenericAdaptor
class	EmitEqualityOp
class	EmitEqualityOpAdaptor
class	EmitEqualityOpGenericAdaptor

Functions
bool	containsConstraintOp (mlir::Operation *op)

Function Documentation

containsConstraintOp()

bool llzk::constrain::containsConstraintOp ( mlir::Operation * op )

inline

Definition at line 17 of file OpInterfaces.h.