| name | class, % | method, % | block, % | line, % |
|---|
| | | | | |
| class Literal | 100% (1/1) | 80% (16/20) | 90% (529/587) | 88% (111.4/126) |
| clone (): Object | | 0% (0/1) | 0% (0/37) | 0% (0/9) |
| coversAllMaterializedTuples (): boolean | | 0% (0/1) | 0% (0/3) | 0% (0/1) |
| flipSense (): void | | 0% (0/1) | 0% (0/9) | 0% (0/2) |
| setCoversAllMaterializedTuples (boolean): void | | 0% (0/1) | 0% (0/4) | 0% (0/2) |
| toTuple (): Tuple | | 100% (1/1) | 96% (68/71) | 96% (13.5/14) |
| toString (): String | | 100% (1/1) | 97% (63/65) | 99% (8.9/9) |
| Literal (Predicate, boolean): void | | 100% (1/1) | 100% (28/28) | 100% (9/9) |
| appendTerm (Term): void | | 100% (1/1) | 100% (15/15) | 100% (4/4) |
| getIdx (): int | | 100% (1/1) | 100% (3/3) | 100% (1/1) |
| getPred (): Predicate | | 100% (1/1) | 100% (3/3) | 100% (1/1) |
| getSense (): boolean | | 100% (1/1) | 100% (3/3) | 100% (1/1) |
| getTerms (): ArrayList | | 100% (1/1) | 100% (3/3) | 100% (1/1) |
| getVars (): HashSet | | 100% (1/1) | 100% (3/3) | 100% (1/1) |
| isBuiltIn (): boolean | | 100% (1/1) | 100% (4/4) | 100% (1/1) |
| isSameAs (Literal): boolean | | 100% (1/1) | 100% (63/63) | 100% (11/11) |
| mostGeneralUnification (Tuple): HashMap | | 100% (1/1) | 100% (204/204) | 100% (42/42) |
| setIdx (int): void | | 100% (1/1) | 100% (4/4) | 100% (2/2) |
| setSense (boolean): void | | 100% (1/1) | 100% (4/4) | 100% (2/2) |
| substitute (HashMap): Literal | | 100% (1/1) | 100% (48/48) | 100% (10/10) |
| toAtom (Atom$AtomType): Atom | | 100% (1/1) | 100% (13/13) | 100% (3/3) |
| | | | | |
| class Literal$VarClique | 100% (1/1) | 100% (5/5) | 100% (68/68) | 100% (16/16) |
| Literal$VarClique (Literal): void | | 100% (1/1) | 100% (14/14) | 100% (3/3) |
| Literal$VarClique (Literal, Literal$VarClique): void | | 100% (1/1) | 100% (4/4) | 100% (1/1) |
| addVar (String): void | | 100% (1/1) | 100% (6/6) | 100% (2/2) |
| setConstant (int): boolean | | 100% (1/1) | 100% (16/16) | 100% (4/4) |
| swallow (Literal$VarClique): boolean | | 100% (1/1) | 100% (28/28) | 100% (7/7) |