Constants

DECISION_LITERAL

DECISION_LITERAL = 0

DECISION_REASON

DECISION_REASON = 1

Properties

$pool

$pool : 

Type

$decisionMap

$decisionMap : 

Type

$decisionQueue

$decisionQueue : 

Type

Methods

__construct()

__construct(  $pool) 

Parameters

$pool

decide()

decide(  $literal,   $level,   $why) 

Parameters

$literal
$level
$why

satisfy()

satisfy(  $literal) 

Parameters

$literal

conflict()

conflict(  $literal) 

Parameters

$literal

decided()

decided(  $literalOrPackageId) 

Parameters

$literalOrPackageId

undecided()

undecided(  $literalOrPackageId) 

Parameters

$literalOrPackageId

decidedInstall()

decidedInstall(  $literalOrPackageId) 

Parameters

$literalOrPackageId

decisionLevel()

decisionLevel(  $literalOrPackageId) 

Parameters

$literalOrPackageId

decisionRule()

decisionRule(  $literalOrPackageId) 

Parameters

$literalOrPackageId

atOffset()

atOffset(  $queueOffset) 

Parameters

$queueOffset

validOffset()

validOffset(  $queueOffset) 

Parameters

$queueOffset

lastReason()

lastReason() 

lastLiteral()

lastLiteral() 

reset()

reset() 

resetToOffset()

resetToOffset(  $offset) 

Parameters

$offset

revertLast()

revertLast() 

count()

count() 

rewind()

rewind() 

current()

current() 

key()

key() 

next()

next() 

valid()

valid() 

isEmpty()

isEmpty() 

addDecision()

addDecision(  $literal,   $level) 

Parameters

$literal
$level