bool → aig Relation

File in src/bool	Includes file in src/aig
bdc / bdcSpfd.c	aig / aig.h
dec / decAbc.c	ivy / ivy.h
kit / kitAig.c	aig / aig.h
kit / kitHop.c	hop / hop.h
kit / kitHop.c	gia / gia.h
kit / kitPla.c	aig / aig.h