abc/src/sat/csat/csat_apis.c
/**Function*************************************************************

  Synopsis    [Initialize the solver internal data structure.]

  Description [Prepares the solver to work on one specific target
  set by calling ABC_AddTarget before.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Initialize the solver internal data structure.]

Description [Prepares the solver to work on one specific target
set by calling ABC_AddTarget before.]




Function Synopsis [ Initialize the solver internal data structure . ] Description [ Prepares the solver to work on one specific target set by calling ABC_AddTarget before . ]
void ABC_SolveInit( ABC_Manager mng )
{
    assert( mng->nog == Vec_PtrSize(mng->vNodes) );
    if ( mng->nog == 0 )
        { printf( "ABC_SolveInit: Target is not specified by ABC_AddTarget().\n" ); return; }
    if ( mng->pTarget ) Abc_NtkDelete( mng->pTarget );
    mng->pTarget = Abc_NtkStrash( mng->pNtk, 0, 1, 0 );
}
void ABC_SolveInit ( ABC_Manager mng ) { assert ( mng -> nog == Vec_PtrSize ( mng -> vNodes ) ) ; if ( mng -> nog == 0 ) { printf ( " \n " ) ; return ; } if ( mng -> pTarget ) Abc_NtkDelete ( mng -> pTarget ) ; mng -> pTarget = Abc_NtkStrash ( mng -> pNtk , 0 , 1 , 0 ) ; }
Function
Synopsis    [Initialize the solver internal data structure.]
Function Synopsis [ Initialize the solver internal data structure . ]
// check if the target is available // free the previous target network if present // set the new target network //    mng->pTarget = Abc_NtkCreateTarget( mng->pNtk, mng->vNodes, mng->vValues );