name | method, % | block, % |
---|
getVocabulary (): ILits | 0% (0/1) | 0% (0/3) |
newVar (): void | 0% (0/1) | 0% (0/4) |
numberOfInterestingVariables (): int | 0% (0/1) | 0% (0/21) |
varActivity (int): double | 0% (0/1) | 0% (0/7) |
varRescaleActivity (): void | 0% (0/1) | 0% (0/24) |
init (): void | 100% (1/1) | 66% (66/100) |
<static initializer> | 100% (1/1) | 88% (7/8) |
updateActivity (int): void | 100% (1/1) | 88% (14/16) |
select (): int | 100% (1/1) | 94% (34/36) |
VarOrderHeap (): void | 100% (1/1) | 100% (16/16) |
newVar (int): void | 100% (1/1) | 100% (1/1) |
printStat (PrintWriter, String): void | 100% (1/1) | 100% (14/14) |
setLits (ILits): void | 100% (1/1) | 100% (4/4) |
setVarDecay (double): void | 100% (1/1) | 100% (4/4) |
toString (): String | 100% (1/1) | 100% (2/2) |
undo (int): void | 100% (1/1) | 100% (10/10) |
updateVar (int): void | 100% (1/1) | 100% (22/22) |
varDecayActivity (): void | 100% (1/1) | 100% (8/8) |