name | method, % | block, % |
---|
access$102 (Solver, boolean): boolean | 0% (0/1) | 0% (0/5) |
access$202 (Solver, boolean): boolean | 0% (0/1) | 0% (0/5) |
addAllClauses (IVec): void | 0% (0/1) | 0% (0/16) |
addAtLeast (IVecInt, int): IConstr | 0% (0/1) | 0% (0/12) |
addAtMost (IVecInt, int): IConstr | 0% (0/1) | 0% (0/32) |
addPseudoBoolean (IVecInt, IVec, boolean, BigInteger): IConstr | 0% (0/1) | 0% (0/36) |
cancelLearntLiterals (): void | 0% (0/1) | 0% (0/19) |
claRescalActivity (): void | 0% (0/1) | 0% (0/23) |
clearLearntClauses (): void | 0% (0/1) | 0% (0/4) |
getIthConstr (int): IConstr | 0% (0/1) | 0% (0/6) |
getOrder (): IOrder | 0% (0/1) | 0% (0/3) |
getOutLearnt (): IVecInt | 0% (0/1) | 0% (0/3) |
getStat (): Map | 0% (0/1) | 0% (0/4) |
getStats (): SolverStats | 0% (0/1) | 0% (0/3) |
model (int): boolean | 0% (0/1) | 0% (0/26) |
newVar (): int | 0% (0/1) | 0% (0/29) |
printStat (PrintStream, String): void | 0% (0/1) | 0% (0/8) |
reduceDB (): void | 0% (0/1) | 0% (0/10) |
reduceDB (double): void | 0% (0/1) | 0% (0/88) |
removeConstr (IConstr): boolean | 0% (0/1) | 0% (0/22) |
setOrder (IOrder): void | 0% (0/1) | 0% (0/9) |
setSearchListener (SearchListener): void | 0% (0/1) | 0% (0/4) |
setTimeout (int): void | 0% (0/1) | 0% (0/4) |
simplifyDB (): boolean | 0% (0/1) | 0% (0/62) |
sortOnActivity (): void | 0% (0/1) | 0% (0/6) |
toString (): String | 0% (0/1) | 0% (0/4) |
assume (int): boolean | 100% (1/1) | 57% (13/23) |
undoOne (): void | 100% (1/1) | 60% (45/75) |
search (long, Handle): Lbool | 100% (1/1) | 61% (137/223) |
dimacs2internal (IVecInt): IVecInt | 100% (1/1) | 62% (34/55) |
isSatisfiable (IVecInt): boolean | 100% (1/1) | 72% (127/177) |
model (): int [] | 100% (1/1) | 79% (19/24) |
claBumpActivity (Constr): void | 100% (1/1) | 83% (10/12) |
enqueue (int, Constr): boolean | 100% (1/1) | 84% (38/45) |
analyze (Constr, Handle): int | 100% (1/1) | 86% (164/191) |
modelFound (): void | 100% (1/1) | 88% (68/77) |
<static initializer> | 100% (1/1) | 92% (11/12) |
propagate (): Constr | 100% (1/1) | 92% (77/84) |
Solver (AssertingClauseGenerator, LearningStrategy, DataStructureFactory, IOr... | 100% (1/1) | 100% (10/10) |
Solver (AssertingClauseGenerator, LearningStrategy, DataStructureFactory, Sea... | 100% (1/1) | 100% (104/104) |
access$000 (Solver, IVecInt): void | 100% (1/1) | 100% (4/4) |
addClause (IVecInt): IConstr | 100% (1/1) | 100% (11/11) |
addConstr (Constr): IConstr | 100% (1/1) | 100% (9/9) |
cancel (): void | 100% (1/1) | 100% (31/31) |
cancelUntil (int): void | 100% (1/1) | 100% (13/13) |
claDecayActivity (): void | 100% (1/1) | 100% (8/8) |
decayActivities (): void | 100% (1/1) | 100% (6/6) |
decisionLevel (): int | 100% (1/1) | 100% (4/4) |
decode2dimacs (int): int | 100% (1/1) | 100% (12/12) |
enqueue (int): boolean | 100% (1/1) | 100% (5/5) |
getDSFactory (): DataStructureFactory | 100% (1/1) | 100% (3/3) |
getTimeout (): int | 100% (1/1) | 100% (3/3) |
getVocabulary (): ILits | 100% (1/1) | 100% (3/3) |
isSatisfiable (): boolean | 100% (1/1) | 100% (4/4) |
learn (Constr): void | 100% (1/1) | 100% (36/36) |
nAssigns (): int | 100% (1/1) | 100% (4/4) |
nConstraints (): int | 100% (1/1) | 100% (4/4) |
nVars (): int | 100% (1/1) | 100% (4/4) |
newVar (int): int | 100% (1/1) | 100% (26/26) |
printStat (PrintWriter, String): void | 100% (1/1) | 100% (36/36) |
record (Constr): void | 100% (1/1) | 100% (29/29) |
reset (): void | 100% (1/1) | 100% (16/16) |
setDataStructureFactory (DataStructureFactory): void | 100% (1/1) | 100% (21/21) |
setExpectedNumberOfClauses (int): void | 100% (1/1) | 100% (5/5) |
setSimplifier (Solver$ISimplifier): void | 100% (1/1) | 100% (4/4) |
simpleSimplification (IVecInt): void | 100% (1/1) | 100% (71/71) |
toString (String): String | 100% (1/1) | 100% (89/89) |
varBumpActivity (int): void | 100% (1/1) | 100% (5/5) |