gia → map Relation

File in src/aig/gia	Includes file in src/map
giaAigerExt.c	mio / mio.h
giaAigerExt.c	mio / mioInt.h
giaIf.c	if / if.h
giaIff.c	if / if.h
giaIiff.c	mio / mio.h
giaNf.c	mio / mio.h
giaNf.c	scl / sclCon.h
giaOf.c	mio / mio.h
giaPf.c	mio / mio.h
giaSatLut.c	scl / sclCon.h
giaSatMap.c	scl / sclCon.h
giaSpeedup.c	if / if.h
giaTranStoch.c	mio / mio.h