Predicate NullGuards::enumConstEquality

Gets an equality test between an expression e and an enum constant c.

Expr enumConstEquality(Expr e, boolean polarity, EnumConstant c)