name | method, % | block, % |
---|
getLits (): int [] | 0% (0/1) | 0% (0/14) |
getVocabulary (): ILits | 0% (0/1) | 0% (0/3) |
locked (): boolean | 0% (0/1) | 0% (0/13) |
remove (): void | 0% (0/1) | 0% (0/23) |
rescaleBy (double): void | 0% (0/1) | 0% (0/7) |
simplify (): boolean | 0% (0/1) | 0% (0/21) |
toString (): String | 0% (0/1) | 0% (0/46) |
calcReason (int, IVecInt): void | 100% (1/1) | 48% (30/62) |
propagationCheck (IVecInt, UnitPropagationListener): boolean | 100% (1/1) | 63% (17/27) |
assertConstraint (UnitPropagationListener): void | 100% (1/1) | 65% (11/17) |
WLClause (IVecInt, ILits): void | 100% (1/1) | 77% (23/30) |
propagate (UnitPropagationListener, int): boolean | 100% (1/1) | 78% (84/108) |
<static initializer> | 100% (1/1) | 88% (7/8) |
register (): void | 100% (1/1) | 90% (78/87) |
sanityCheck (IVecInt, ILits, UnitPropagationListener): IVecInt | 100% (1/1) | 97% (58/60) |
brandNewClause (UnitPropagationListener, ILits, IVecInt): WLClause | 100% (1/1) | 100% (10/10) |
get (int): int | 100% (1/1) | 100% (5/5) |
getActivity (): double | 100% (1/1) | 100% (3/3) |
incActivity (double): void | 100% (1/1) | 100% (7/7) |
learnt (): boolean | 100% (1/1) | 100% (3/3) |
setLearnt (): void | 100% (1/1) | 100% (4/4) |
size (): int | 100% (1/1) | 100% (4/4) |