KIWISatSolver Info


Public methods


DESTROY

Missing

Defined on line: 456

getFailedJobs

Missing

Defined on line: 319

Called in

getInstallList

Missing

Defined on line: 383

Called in

getInstallSizeKBytes

Missing

Defined on line: 362

Called in

getMetaData

Missing

Defined on line: 428

Called in

getPackages

Missing

Defined on line: 440

Called in

getPool

Missing

Defined on line: 342

Called in

getProblemInfo

Missing

Defined on line: 308

Called in

getProblemsCount

Missing

Defined on line: 353

Called in

getSolfile

Missing

Defined on line: 330

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: 48

Called in