Searched refs:If_DsdObjCreate (Results 1 – 1 of 1) sorted by relevance
958 int If_DsdObjCreate( If_DsdMan_t * p, int Type, int * pLits, int nLits, int truthId ) in If_DsdObjCreate() function1031 objId = If_DsdObjCreate( p, Type, pLits, nLits, truthId ); in If_DsdObjFindOrAdd()