ABC_NAMESPACE_IMPL_START //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// /**Function************************************************************* Synopsis [Adds one variable to the solver.] Description [] SideEffects [] SeeAlso [] ***********************************************************************/ int Msat_SolverAddVar( Msat_Solver_t * p, int Level ) { if ( p->nVars == p->nVarsAlloc ) Msat_SolverResize( p, 2 * p->nVarsAlloc ); p->pLevel[p->nVars] = Level; p->nVars++; return 1; }
/**Function************************************************************* Synopsis [Adds one variable to the solver.] Description [] SideEffects [] SeeAlso [] ***********************************************************************/ bool Msat_SolverAddVar( Msat_Solver_t * p, int Level ) { if ( p->nVars == p->nVarsAlloc ) Msat_SolverResize( p, 2 * p->nVarsAlloc ); p->pLevel[p->nVars] = Level; p->nVars++; return 1; }