新增class:SfMgr
將socv final project所需的code用此class作為interface,以方便管理
類似前兩次作業的BddMgr和SatMgr
sfMgr的member:
_designHandler 存design的handler
_libraryHandler 存library的handler,因為可能有多個library,故用vector
_designNtk 存design的ntk
_librarnNtk 存library的ntk
另可用function例如setDesign(),addLibrary()之類的對這些member做存取
另外,traverseFanin()是我做來測試用的
先看看是否能將design中的每個gate先traverse一次
Merge branch 'master' of https://github.com/DVLab/abc1234