Refactor into AigerReader class
authorEddie Hung <eddieh@ece.ubc.ca>
Fri, 8 Feb 2019 20:04:26 +0000 (12:04 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Fri, 8 Feb 2019 20:04:26 +0000 (12:04 -0800)
commitf1befe1b44ada400e979f43e1b35ebe022ff8fe8
tree885b7c0b267cd7a4b7b4737563d148eeb0786e1e
parent2a8cc36578be9a9d1645e435c3a79eb7d1abc7b2
Refactor into AigerReader class
frontends/aiger/aigerparse.cc
frontends/aiger/aigerparse.h