Lines Matching refs:solver
173 # make sure we init this even if we don't call solver
417 """Run the solver, and if it fails, optionally retry the
421 # have the solver try to satisfy parent dependencies.
452 """Add a single actuator to the solver 'solver_inst' and update
479 # the solver. Otherwise we might trim on the installed version
528 them to the solver instance specified by 'solver_inst'. 'op'
581 """Use the solver to determine the fmri changes needed to
596 # the solver is not necessary.
642 # instantiate solver
643 solver = pkg_solver.PkgSolver(
655 pkgdefs.PKG_OP_UNINSTALL, solver)
657 # run solver
659 solver.solve_install(
673 return solver, new_vector, new_avoid_obs
680 solver, new_vector, self.pd._new_avoid_obs = \
696 self.pd._solver_summary = str(solver)
698 self.pd._solver_errors = solver.get_trim_errors()
799 # of the changed attributes, assume the solver
875 # package, then the solver
939 # If solver isn't involved, assume the list of packages
969 # convenience function to invoke the solver.
983 # uninstalling packages requires the solver.
992 # solver.
998 # we need to invoke the solver.
1003 # By default, we assume the solver must be used. If any of the
1005 # the solver can be used.
1026 # If solver isn't involved, assume the list of packages
1199 # don't bother invoking the solver.
1230 # instantiate solver
1231 solver = pkg_solver.PkgSolver(
1243 pkgdefs.PKG_OP_UNINSTALL, solver)
1245 # run solver
1247 solver.solve_uninstall(
1254 return solver, new_vector, new_avoid_obs
1257 solver, new_vector, self.pd._new_avoid_obs = \
1267 self.pd._solver_summary = str(solver)
1269 self.pd._solver_errors = solver.get_trim_errors()
1275 """Use the solver to determine the fmri changes needed to
1290 # determine the proposed set to pass to the solver.
1306 # instantiate solver
1307 solver = pkg_solver.PkgSolver(
1319 pkgdefs.PKG_OP_UNINSTALL, solver)
1321 # run solver
1324 solver.solve_install(
1337 solver.solve_update_all(
1342 return solver, new_vector, new_avoid_obs
1349 solver, new_vector, self.pd._new_avoid_obs = \
1359 self.pd._solver_summary = str(solver)
1361 self.pd._solver_errors = solver.get_trim_errors()
2008 solver explaining why they were rejected. (All packages
2009 found in solver's trim database.)"""
5569 # solver will reject
5752 # The solver depends on these being in sorted
5800 # thrashing in the solver due to many equiv.