kdrag.smt.is_neg

kdrag.smt.is_neg(x: ExprRef) → bool

Check if an expression is a negation. >>> x = z3.Int(“x”) >>> is_neg(-x) True

Parameters:

x (ExprRef)

Return type:

bool