opt → aig Relation

File in src/opt	Includes file in src/aig
cgt / cgtInt.h	saig / saig.h
csw / cswInt.h	aig / aig.h
dar / darInt.h	aig / aig.h
dar / darLib.c	gia / gia.h
dar / darScript.c	gia / gia.h
dar / darScript.c	gia / giaAig.h
dau / dauCore.c	aig / aig.h
dau / dauGia.c	gia / gia.h
dau / dauNpn2.c	gia / gia.h
eslim / eSLIM.h	gia / gia.h
eslim / eSLIMMan.hpp	gia / gia.h
eslim / eSLIMMan.hpp	miniaig / miniaig.h
fret / fretInit.c	hop / hop.h
fsim / fsimInt.h	saig / saig.h
mfs / mfsGia.c	gia / giaAig.h
mfs / mfsInt.h	aig / aig.h
mfs / mfsInt.h	gia / gia.h
nwk / nwk.h	aig / aig.h
nwk / nwk.h	hop / hop.h
eslim / relationGeneration.hpp	gia / gia.h
eslim / selectionStrategy.hpp	gia / gia.h
eslim / synthesisEngine.hpp	miniaig / miniaig.h
eslim / utils.hpp	gia / gia.h
rar / rewire_map.h	gia / giaAig.h
rar / rewire_map.h	miniaig / miniaig.h
rar / rewire_miaig.h	miniaig / miniaig.h
rar / rewire_rar.h	gia / gia.h
rar / rewire_rar.h	miniaig / miniaig.h
res / resSat.c	hop / hop.h
rrr / rrrAbc.h	gia / gia.h
rwr / rwrEva.c	ivy / ivy.h