| name | class, % | method, % | block, % | line, % |
|---|
| | | | | |
| class Clause | 100% (1/1) | 82% (33/40) | 86% (1869/2169) | 86% (342.2/398) |
| clone (): Clause | | 0% (0/1) | 0% (0/143) | 0% (0/28) |
| getConstraints (): ArrayList | | 0% (0/1) | 0% (0/3) | 0% (0/1) |
| getSpecText (): ArrayList | | 0% (0/1) | 0% (0/3) | 0% (0/1) |
| getSpecTextFlat (): String | | 0% (0/1) | 0% (0/5) | 0% (0/1) |
| getVarWeight (): String | | 0% (0/1) | 0% (0/3) | 0% (0/1) |
| isHardClause (): boolean | | 0% (0/1) | 0% (0/9) | 0% (0/1) |
| setVarWeight (String): void | | 0% (0/1) | 0% (0/4) | 0% (0/2) |
| addUserProvidedName (String): void | | 100% (1/1) | 38% (3/8) | 67% (2/3) |
| absorb (Clause): void | | 100% (1/1) | 61% (23/38) | 62% (5/8) |
| hasEmbeddedWeight (): boolean | | 100% (1/1) | 71% (5/7) | 71% (0.7/1) |
| addLiteral (Literal): void | | 100% (1/1) | 80% (61/76) | 84% (12.5/15) |
| toString (): String | | 100% (1/1) | 81% (83/103) | 84% (6.8/8) |
| addExistentialVariable (String): boolean | | 100% (1/1) | 86% (12/14) | 90% (2.7/3) |
| addMetaVariable (String, Type): boolean | | 100% (1/1) | 89% (17/19) | 93% (3.7/4) |
| generateSQL (): void | | 100% (1/1) | 91% (449/496) | 91% (82.1/90) |
| toString (int): String | | 100% (1/1) | 96% (68/71) | 97% (8.8/9) |
| normalize (): Clause | | 100% (1/1) | 97% (579/595) | 98% (97.9/100) |
| sealClauseInstances (RDB): void | | 100% (1/1) | 99% (234/237) | 95% (39/41) |
| <static initializer> | | 100% (1/1) | 100% (5/5) | 100% (3/3) |
| Clause (): void | | 100% (1/1) | 100% (105/105) | 100% (29/29) |
| addConstraint (Expression): void | | 100% (1/1) | 100% (6/6) | 100% (2/2) |
| addSpecText (String): void | | 100% (1/1) | 100% (6/6) | 100% (2/2) |
| checkVariableSafety (): void | | 100% (1/1) | 100% (83/83) | 100% (15/15) |
| getConstaintStringAsLits (): String | | 100% (1/1) | 100% (49/49) | 100% (7/7) |
| getId (): int | | 100% (1/1) | 100% (3/3) | 100% (1/1) |
| getLiteralsOfPredicate (Predicate): ArrayList | | 100% (1/1) | 100% (6/6) | 100% (1/1) |
| getName (): String | | 100% (1/1) | 100% (3/3) | 100% (1/1) |
| getReferencedPredicates (): Set | | 100% (1/1) | 100% (4/4) | 100% (1/1) |
| getRegLiterals (): ArrayList | | 100% (1/1) | 100% (3/3) | 100% (1/1) |
| getSignature (): String | | 100% (1/1) | 100% (3/3) | 100% (1/1) |
| getWeight (): double | | 100% (1/1) | 100% (3/3) | 100% (1/1) |
| getWeightExp (): String | | 100% (1/1) | 100% (3/3) | 100% (1/1) |
| hasExistentialQuantifiers (): boolean | | 100% (1/1) | 100% (8/8) | 100% (1/1) |
| isPositiveClause (): boolean | | 100% (1/1) | 100% (9/9) | 100% (1/1) |
| isTemplate (): boolean | | 100% (1/1) | 100% (3/3) | 100% (1/1) |
| prepareForDB (RDB): void | | 100% (1/1) | 100% (6/6) | 100% (3/3) |
| setHardWeight (): void | | 100% (1/1) | 100% (4/4) | 100% (2/2) |
| setId (int): void | | 100% (1/1) | 100% (4/4) | 100% (2/2) |
| setName (String): void | | 100% (1/1) | 100% (15/15) | 100% (3/3) |
| setWeight (double): void | | 100% (1/1) | 100% (4/4) | 100% (2/2) |
| | | | | |
| class Clause$ClauseInstance | 100% (1/1) | 100% (1/1) | 100% (12/12) | 100% (4/4) |
| Clause$ClauseInstance (Clause, ArrayList, double): void | | 100% (1/1) | 100% (12/12) | 100% (4/4) |