kdrag.smt.is_recognizer

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

Check if recognizer. >>> Color = z3.Datatype(“Color”) >>> Color.declare(“red”) >>> Color = Color.create() >>> is_recognizer(Color.is_red(Color.red)) True