use the new isPublic() in a few places
authorN. Engelhardt <nak@symbioticeda.com>
Mon, 14 Sep 2020 10:43:18 +0000 (12:43 +0200)
committerN. Engelhardt <nak@symbioticeda.com>
Mon, 14 Sep 2020 10:43:18 +0000 (12:43 +0200)
commit32381907972e16d5f72705eaf5350b731a9d71c8
tree73c08e35387cb9df6d69cf0d9129b03e115fd69c
parent4af04be0b7bb493a86a35a60f3b18d88df6b8ea9
use the new isPublic() in a few places
13 files changed:
backends/aiger/aiger.cc
backends/aiger/xaiger.cc
backends/edif/edif.cc
backends/smt2/smt2.cc
passes/cmds/rename.cc
passes/cmds/show.cc
passes/cmds/splice.cc
passes/cmds/stat.cc
passes/equiv/equiv_make.cc
passes/equiv/equiv_purge.cc
passes/opt/opt_clean.cc
passes/sat/mutate.cc
passes/sat/sat.cc