abc/src/sat/msat/msatClause.c
/**Function*************************************************************

  Synopsis    [Checks whether the learned clause is locked.]

  Description [The clause may be locked if it is the reason of a
  recent conflict. Such clause cannot be removed from the database.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Checks whether the learned clause is locked.]

Description [The clause may be locked if it is the reason of a
recent conflict. Such clause cannot be removed from the database.]




Function Synopsis [ Checks whether the learned clause is locked . ] Description [ The clause may be locked if it is the reason of a recent conflict . Such clause cannot be removed from the database . ]
int  Msat_ClauseIsLocked( Msat_Solver_t * p, Msat_Clause_t * pC )
{
    Msat_Clause_t ** pReasons = Msat_SolverReadReasonArray( p );
    return (int )(pReasons[MSAT_LIT2VAR(pC->pData[0])] == pC);
}
int Msat_ClauseIsLocked ( Msat_Solver_t * p , Msat_Clause_t * pC ) { Msat_Clause_t * * pReasons = Msat_SolverReadReasonArray ( p ) ; return ( int ) ( pReasons [ MSAT_LIT2VAR ( pC -> pData [ 0 ] ) ] == pC ) ; }
Function
Synopsis    [Checks whether the learned clause is locked.]
Function Synopsis [ Checks whether the learned clause is locked . ]