kdrag.smt.is_constructor

kdrag.smt.is_constructor(x: ExprRef) → bool

Check if an expression is a constructor. >>> Color = z3.Datatype(“Color”) >>> Color.declare(“red”) >>> Color = Color.create() >>> is_constructor(Color.red) True