Searched refs:oldSolver (Results 1 – 5 of 5) sorted by relevance
600 StepCore::Solver* oldSolver = _world->solver(); in newSolver() local601 for(int i=0; i<oldSolver->metaObject()->propertyCount(); ++i) { in newSolver()602 const StepCore::MetaProperty* oldProperty = oldSolver->metaObject()->property(i); in newSolver()605 newProperty->writeVariant(solver, oldProperty->readVariant(oldSolver)); in newSolver()671 StepCore::Solver* oldSolver = _world->removeSolver(); in swapSolver() local676 return oldSolver; in swapSolver()
248 Solver* Solver::createFrom(const Solver* oldSolver) { in createFrom() argument249 Solver* solver = new MiniSat::Solver(oldSolver->d_theoryAPI, in createFrom()250 oldSolver->d_decider, oldSolver->d_derivation != NULL); in createFrom()255 solver->d_cla_inc = oldSolver->d_cla_inc; in createFrom()256 solver->d_var_inc = oldSolver->d_var_inc; in createFrom()257 solver->d_activity = oldSolver->d_activity; in createFrom()267 const vector<MiniSat::Lit>& trail = oldSolver->getTrail(); in createFrom()274 const vector<MiniSat::Clause*>& clauses = oldSolver->getClauses(); in createFrom()280 const vector<MiniSat::Clause*>& lemmas = oldSolver->getLemmas(); in createFrom()
674 unlessM (oldSolver metas cs) cannotSolve690 oldSolver694 oldSolver metas cs = do function
10812 btConstraintSolver* oldSolver = m_data->m_dynamicsWorld->getConstraintSolver(); in processSendPhysicsParametersCommand() local10858 delete oldSolver; in processSendPhysicsParametersCommand()