def simplify():
with redirect.redirect(src=sys.stdout):
with redirect.redirect(src=sys.stderr):
par.read_file_quiet(aig_filename)
par.pre_simp()
pyabc.run_command('write_aiger %s' % simplified_aig)
return simplified_aig
def simplify(aiger_in, aiger_out):
saved = utils.save_po_info(aiger_in, tmp[0])
par.read_file_quiet(tmp[0])
par.pre_simp()
pyabc.run_command( 'write_aiger %s'%tmp[1] )
#~ pyabc.run_command( 'read_aiger %s'%tmp[0] )
#~ pyabc.run_command( 'dc2 ; dc2 ; dc2 ; dc2' )
#~ pyabc.run_command( 'write_aiger %s'%tmp[1] )
utils.restore_po_info( saved, tmp[1], aiger_out )
def simplify(aiger_in, aiger_out):
with niklas.temp_file_names(2, suffix='.aig') as tmp:
saved = utils.save_po_info(aiger_in, tmp[0])
par.read_file_quiet(tmp[0])
par.pre_simp()
pyabc.run_command('write_aiger %s' % tmp[1])
utils.restore_po_info(saved, tmp[1], aiger_out)
return True
def simplify(aiger_in, aiger_out):
with niklas.temp_file_names(2, suffix=".aig") as tmp:
saved = utils.save_po_info(aiger_in, tmp[0])
par.read_file_quiet(tmp[0])
par.pre_simp()
pyabc.run_command("write_aiger %s" % tmp[1])
utils.restore_po_info(saved, tmp[1], aiger_out)
return True
def simplify(aiger_in, aiger_out):
print 'SIMPLIFY: start simplify', aiger_in, aiger_out
with liveness.temp_file_names(2, suffix='.aig') as tmp:
saved = utils.save_po_info(aiger_in, tmp[0])
par.read_file_quiet(tmp[0])
par.pre_simp()
pyabc.run_command('write_aiger %s' % tmp[1])
utils.restore_po_info(saved, tmp[1], aiger_out)
print 'SIMPLIFY: ended simplify'
return True
