Searched refs:PDR_VAL1 (Results 1 – 1 of 1) sorted by relevance
713 #define PDR_VAL1 2 macro730 return (pNode->fMarkA ^ fCompl) ? PDR_VAL1 : PDR_VAL0; in Pdr_ObjSatValue()779 if ( Value0 == PDR_VAL1 && Value1 == PDR_VAL1 ) in Pdr_NtkFindSatAssign_rec()781 if ( Value0 == PDR_VAL1 ) in Pdr_NtkFindSatAssign_rec()783 if ( Value1 == PDR_VAL1 ) in Pdr_NtkFindSatAssign_rec()