name | method, % | block, % |
---|
isImplied (int): boolean | 0% (0/1) | 0% (0/35) |
not (int): int | 0% (0/1) | 0% (0/4) |
reset (int): void | 0% (0/1) | 0% (0/41) |
toString (int): String | 0% (0/1) | 0% (0/17) |
valueToString (int): String | 0% (0/1) | 0% (0/14) |
resetPool (): void | 100% (1/1) | 44% (8/18) |
unassign (int): void | 100% (1/1) | 45% (10/22) |
satisfies (int): void | 100% (1/1) | 48% (11/23) |
belongsToPool (int): boolean | 100% (1/1) | 54% (7/13) |
getFromPool (int): int | 100% (1/1) | 82% (74/90) |
<static initializer> | 100% (1/1) | 88% (7/8) |
init (int): void | 100% (1/1) | 94% (103/109) |
Lits (): void | 100% (1/1) | 100% (30/30) |
ensurePool (int): void | 100% (1/1) | 100% (4/4) |
getLevel (int): int | 100% (1/1) | 100% (7/7) |
getReason (int): Constr | 100% (1/1) | 100% (7/7) |
isFalsified (int): boolean | 100% (1/1) | 100% (20/20) |
isSatisfied (int): boolean | 100% (1/1) | 100% (13/13) |
isUnassigned (int): boolean | 100% (1/1) | 100% (12/12) |
nVars (): int | 100% (1/1) | 100% (6/6) |
realnVars (): int | 100% (1/1) | 100% (3/3) |
satisfyingValue (int): Lbool | 100% (1/1) | 100% (8/8) |
setLevel (int, int): void | 100% (1/1) | 100% (8/8) |
setReason (int, Constr): void | 100% (1/1) | 100% (8/8) |
undos (int): IVec | 100% (1/1) | 100% (7/7) |
watch (int, Propagatable): void | 100% (1/1) | 100% (8/8) |
watches (int): IVec | 100% (1/1) | 100% (5/5) |