abc/src/bdd/cudd/cuddAPI.c
/**Function********************************************************************

  Synopsis    [Returns 1 if a DD node is not constant.]

  Description [Returns 1 if a DD node is not constant. This function is
  useful to test the results of Cudd_bddIteConstant, Cudd_addIteConstant,
  Cudd_addEvalConst. These results may be a special value signifying
  non-constant. In the other cases the macro Cudd_IsConstant can be used.]

  SideEffects [None]

  SeeAlso     [Cudd_IsConstant Cudd_bddIteConstant Cudd_addIteConstant
  Cudd_addEvalConst]

******************************************************************************/
Function
Synopsis    [Returns 1 if a DD node is not constant.]

Description [Returns 1 if a DD node is not constant. This function is
useful to test the results of Cudd_bddIteConstant, Cudd_addIteConstant,
Cudd_addEvalConst. These results may be a special value signifying
non-constant. In the other cases the macro Cudd_IsConstant can be used.]




Function Synopsis [ Returns 1 if a DD node is not constant . ] Description [ Returns 1 if a DD node is not constant . This function is useful to test the results of Cudd_bddIteConstant Cudd_addIteConstant Cudd_addEvalConst . These results may be a special value signifying non - constant . In the other cases the macro Cudd_IsConstant can be used . ]
int
Cudd_IsNonConstant(
  DdNode *f)
{
    return(f == DD_NON_CONSTANT || !Cudd_IsConstant(f));
}
int Cudd_IsNonConstant ( DdNode * f ) { return ( f == DD_NON_CONSTANT || ! Cudd_IsConstant ( f ) ) ; }
Function
Synopsis    [Returns 1 if a DD node is not constant.]
Function Synopsis [ Returns 1 if a DD node is not constant . ]