Class Satsolver::Covenant
In: satsolver.i
Parent: Object

Covenants ensure specific dependencies in the (installed) system. They are usually used to implement locks.

Constructor

There is no constructor for Covenants defined, Covenants are created through the Solver, see Solver.include and Solver.exclude

Usage

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.

See also

Solver.include, Solver.exclude

Methods

cmd   name   relation   solvable  

Public Instance methods

operation of this covenant

i.e. Satsolver::INCLUDE_SOLVABLE_PROVIDES

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

[Validate]