1 |
|
package org.sat4j.minisat.constraints; |
2 |
|
|
3 |
|
import junit.framework.TestCase; |
4 |
|
|
5 |
|
import org.sat4j.minisat.constraints.cnf.Lits; |
6 |
|
import org.sat4j.minisat.core.ILits; |
7 |
|
|
8 |
|
|
9 |
|
|
10 |
|
|
11 |
|
|
12 |
|
|
13 |
|
|
14 |
|
@author |
15 |
|
|
16 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (41) |
Complexity: 1 |
Complexity Density: 0,21 |
|
17 |
|
public class LitTest extends TestCase { |
18 |
|
|
19 |
|
private ILits lits; |
20 |
|
|
21 |
|
|
22 |
|
|
23 |
|
|
24 |
|
@param |
25 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (1) |
Complexity: 1 |
Complexity Density: 1 |
|
26 |
5
|
public LitTest(String arg0) {... |
27 |
5
|
super(arg0); |
28 |
|
} |
29 |
|
|
30 |
|
|
31 |
|
@see |
32 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (2) |
Complexity: 1 |
Complexity Density: 0,5 |
|
33 |
5
|
@Override... |
34 |
|
protected void setUp() throws Exception { |
35 |
5
|
super.setUp(); |
36 |
5
|
lits = new Lits(); |
37 |
|
} |
38 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (3) |
Complexity: 1 |
Complexity Density: 0,33 |
1
PASS
|
|
39 |
1
|
public void testNot() {... |
40 |
1
|
lits.ensurePool(5); |
41 |
1
|
int lit = lits.getFromPool(-5); |
42 |
1
|
assertEquals(lits.getFromPool(5), lit ^ 1); |
43 |
|
} |
44 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (5) |
Complexity: 1 |
Complexity Density: 0,2 |
1
PASS
|
|
45 |
1
|
public void testVar() {... |
46 |
1
|
lits.ensurePool(10); |
47 |
1
|
int lit = lits.getFromPool(-5); |
48 |
1
|
assertEquals(5, lit >> 1); |
49 |
1
|
lit = lits.getFromPool(10); |
50 |
1
|
assertEquals(10, lit >> 1); |
51 |
|
|
52 |
|
} |
53 |
|
|
54 |
|
|
55 |
|
|
56 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (5) |
Complexity: 1 |
Complexity Density: 0,2 |
1
PASS
|
|
57 |
1
|
public void testEqualsObject() {... |
58 |
1
|
lits.ensurePool(3); |
59 |
1
|
int lit = lits.getFromPool(-3); |
60 |
1
|
assertEquals(lits.getFromPool(-3), lit); |
61 |
1
|
assertEquals(lits.getFromPool(3), lit ^ 1); |
62 |
1
|
assertFalse(lits.getFromPool(1) == lits.getFromPool(2)); |
63 |
|
} |
64 |
|
|
65 |
|
|
66 |
|
|
67 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (4) |
Complexity: 1 |
Complexity Density: 0,25 |
1
PASS
|
|
68 |
1
|
public void testToString() {... |
69 |
1
|
lits.ensurePool(3); |
70 |
1
|
int lit = lits.getFromPool(-3); |
71 |
1
|
assertEquals("-3", Lits.toString(lit)); |
72 |
1
|
assertEquals("3", Lits.toString(lit ^ 1)); |
73 |
|
} |
74 |
|
|
|
|
| 100% |
Uncovered Elements: 0 (14) |
Complexity: 1 |
Complexity Density: 0,07 |
1
PASS
|
|
75 |
1
|
public void testTruthValue() {... |
76 |
1
|
lits.ensurePool(3); |
77 |
1
|
int lit = lits.getFromPool(-2); |
78 |
1
|
assertTrue(lits.isUnassigned(lit)); |
79 |
1
|
assertTrue(lits.isUnassigned(lit ^ 1)); |
80 |
1
|
lits.satisfies(lit); |
81 |
1
|
assertTrue(lits.isSatisfied(lit)); |
82 |
1
|
assertFalse(lits.isFalsified(lit)); |
83 |
1
|
assertFalse(lits.isUnassigned(lit)); |
84 |
1
|
assertFalse(lits.isSatisfied(lit ^ 1)); |
85 |
1
|
assertTrue(lits.isFalsified(lit ^ 1)); |
86 |
1
|
assertFalse(lits.isUnassigned(lit ^ 1)); |
87 |
1
|
lits.unassign(lit); |
88 |
1
|
assertTrue(lits.isUnassigned(lit)); |
89 |
1
|
assertTrue(lits.isUnassigned(lit ^ 1)); |
90 |
|
|
91 |
|
} |
92 |
|
|
93 |
|
} |