Searched refs:EXP_CONST1 (Results 1 – 1 of 1) sorted by relevance
44 #define EXP_CONST1 -2 macro57 Vec_IntPush( vExp, EXP_CONST1 ); in Exp_Const1()62 return Vec_IntEntry(p,0) == EXP_CONST0 || Vec_IntEntry(p,0) == EXP_CONST1; in Exp_IsConst()70 return Vec_IntEntry(p,0) == EXP_CONST1; in Exp_IsConst1()102 else if ( Lit == EXP_CONST1 ) in Exp_PrintLit()177 if ( Lit == EXP_CONST1 ) in Exp_Truth6Lit()228 if ( iRoot == EXP_CONST0 || iRoot == EXP_CONST1 ) in Exp_Truth8()270 else if ( Lit == EXP_CONST1 ) in Exp_TruthLit()