KIWISatSolver Info


Public methods

Private methods


DESTROY

Missing

Defined on line: 455

getFailedJobs

Missing

Defined on line: 341

Called in

getInstallList

Missing

Defined on line: 405

Called in

getInstallSizeKBytes

Missing

Defined on line: 384

Called in

getMetaData

Missing

Defined on line: 427

Called in

getPackages

Missing

Defined on line: 439

Called in

getPool

Missing

Defined on line: 364

Called in

getProblemInfo

Missing

Defined on line: 330

Called in

getProblemsCount

Missing

Defined on line: 375

Called in

getSolfile

Missing

Defined on line: 352

Called in

new

Construct a new KIWISatSolver object if satsolver is present. The solver object is used to queue product, pattern, and package solve requests which gets solved by the contents of a sat solvable which is either created by the repository metadata contents or used directly from the repository if it is provided

Defined on line: 64

Called in

__createJobs

Missing

Defined on line: 547

Called in

__createPool

Missing

Defined on line: 469

Called in

__createRepo

Missing

Defined on line: 501

Called in

__createSolver

Missing

Defined on line: 521

Called in

__getPackageAttributes

Missing

Defined on line: 664

Called in

__getProblems

Missing

Defined on line: 597

Called in

__getProblemsCount

Missing

Defined on line: 647

Called in

__solveJobs

Missing

Defined on line: 581

Called in