seal5.transform.eliminate_rd_cmp_zero.visitor

Eliminate (rd != 0) checks from behavioral expressions.

Classes

EliminateRdCmpZeroVisitor()

Eliminate (rd != 0) checks from behavioral expressions.