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

Request represents a Set of Jobs as input for the Solver.

Methods

[]   clear!   each   empty?   get   install   lock   new   remove   size   update  

Included Modules

Enumerable

Public Class methods

new(p1)

Create request based on Pool

See also: Pool.create_request

Public Instance methods

[](p1)

Alias for get

Remove all jobs of this request

Check if the request has any jobs attached.

Get job by index

The index is just a convenience access method and does NOT imply any preference/ordering of the Jobs.

A Request is always considered a set of Jobs.

Install request

Ensure installation of a solvable by either

  • specifying it directly
  • specify it by name
  • specify a required relation

Except when specified directly, the solver is free to choose any solvable matching the request (by name, by relation)

Lock request

Ensure solvable stays installed/uninstalled

  • specifying it directly
  • specify it by name
  • specify a required relation

Except when specified directly, the solver is free to choose any solvable matching the request (by name, by relation)

Remove request

Ensure removal of a solvable by either

  • specifying it directly
  • specify it by name
  • specify a required relation

Except when specified directly, the solver is free to choose any solvable matching the request (by name, by relation)

Return number of jobs of this request

Update request

Ensure update of a solvable by either

  • specifying it directly
  • specify it by name
  • specify a required relation

Except when specified directly, the solver is free to choose any solvable matching the request (by name, by relation)

[Validate]