gia → bool Relation

File in src/aig/gia	Includes file in src/bool
giaBidec.c	bdc / bdc.h
giaDecs.c	bdc / bdc.h
giaDecs.c	kit / kit.h
giaFx.c	dec / dec.h
giaFx.c	kit / kit.h
giaIf.c	kit / kit.h
giaJf.c	kit / kit.h
giaMf.c	kit / kit.h
giaShrink6.c	bdc / bdc.h
giaShrink6.c	rsb / rsb.h
giaSupMin.c	kit / kit.h