Class | Satsolver::Covenant |
In: |
satsolver.i
|
Parent: | Object |
Covenants ensure specific dependencies in the (installed) system. They are usually used to implement locks.
There is no constructor for Covenants defined, Covenants are created through the Solver, see Solver.include and Solver.exclude
Convenants can affect specific Solvables, Solvables per-name or Solvables per-provides. In the latter case, when including Solvables per-name or per-provides, the solver is free to choose a matching solvable.
name this covenant affects
non-nil only for operations INCLUDE_SOLVABLE_NAME and EXCLUDE_SOLVABLE_NAME
relation this covenant affects
non-nil only for operations INCLUDE_SOLVABLE_PROVIDES and EXCLUDE_SOLVABLE_PROVIDES
solvable this covenant affects
non-nil only for operations INCLUDE_SOLVABLE and EXCLUDE_SOLVABLE