Data.ABC.Internal.GIA
type Gia_Man_t
data Gia_Man_t_
giaManNObjs
giaManFanData
type Gia_Obj_t
getGiaObjValue
setGiaObjValue
data GiaVar
data GiaLit
giaManConst0Lit
giaManConst1Lit
giaLitIsCompl
giaLitVar
giaVarLit
giaLitNotCond
giaManCexComb
giaManConst0
giaManCis
giaManCos
giaManCiNum
giaManCoNum
giaManPiNum
giaManPoNum
giaManAndNum
giaManRegNum
giaManCiVar
giaManCoVar
giaManCi
giaManCo
giaManObj
gia_none
giaObjIsCo
giaObjDiff0
giaObjDiff1
giaObjFaninC0
giaObjFaninC1
giaObjMark0
giaObjMark1
giaObjChild0
giaObjChild1
giaObjFaninId0
giaObjFaninId1
giaObjIsTerm
giaObjIsAndOrConst0
giaObjId
giaManObjNum
giaLitNot
giaRegular
giaIsComplement
giaObjToLit
giaObjFromLit
giaManForEachObj1_
giaManForEachCo
giaManAppendCi
giaManAppendCo
giaManAppendAnd
giaAigerRead
giaAigerWrite
giaManMiter
giaDupLit
giaManHashAnd
giaManHashXor
giaManHashMux
giaManStart
giaManCleanup
giaManFillValue