search

cjdrake / pyeda

Python EDA
BSD 2-Clause "Simplified" License
301 stars 55 forks source link

The function isinstance(expr1, NotOp) does not work correctly #190

Open YuriyTigiev opened 2 months ago

YuriyTigiev commented 2 months ago

Hello,

The function isinstance(expr1, NotOp) does not work correctly. It returns False.

Python 3.12.1 OS Win 11 pyeda in .venv\lib\site-packages (0.29.0)

from pyeda.inter import exprvar, Not
from pyeda.boolalg.expr import NotOp

a = exprvar('a')
b = exprvar('b')

expr1 = Not(a)
expr2 = ~b

is_expr1_notop = isinstance(expr1, NotOp)
is_expr2_notop = isinstance(expr2, NotOp)

print(f"expr1 is NotOp: {is_expr1_notop}")
print(f"expr2 is NotOp: {is_expr2_notop}")