AssertLikeOp Namespace Reference

Functions
template<typename TargetOp , typename Op >
static LogicalResult	canonicalize (Op op, PatternRewriter &rewriter)

Function Documentation

canonicalize()

template<typename TargetOp , typename Op >

static LogicalResult AssertLikeOp::canonicalize ( Op  op, PatternRewriter &  rewriter  )

static

Definition at line 66 of file VerifOps.cpp.

References ltlToVerifClockEdge().