Clover coverage report -

Coverage timestamp: jeu. juin 15 2006 08:24:33 CEST

FRAMES NO FRAMES

file stats:	LOC:	58		Methods:	4
	NCLOC:	36		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

Lits23.java

100%

100%

1		/*
2		* Created on 15 juin 2004
3		*
4		* To change the template for this generated file go to
5		* Window - Preferences - Java - Code Generation - Code and Comments
6		*/
7		package org.sat4j.minisat.constraints.cnf;
8
9		import org.sat4j.minisat.core.ILits23;
10
11		/**
12		* @author leberre To change the template for this generated type comment go to
13		* Window - Preferences - Java - Code Generation - Code and Comments
14		*/
15		public class Lits23 extends Lits2 implements ILits23 {
16
17		private static final long serialVersionUID = 1L;
18
19		private TernaryClauses[] ternclauses = null;
20
21		/**
22		*
23		*/
24	107	public Lits23() {
25	107	super();
26		}
27
28	33993	private void register(int p, int q, int r) {
29		assert p > 1;
30		assert q > 1;
31		assert r > 1;
32
33	33993	if (ternclauses == null) {
34	84	ternclauses = new TernaryClauses[2 * nVars() + 2];
35		}
36	33993	if (ternclauses[p] == null) {
37	11588	ternclauses[p] = new TernaryClauses(this, p);
38	11588	watches[p ^ 1].push(ternclauses[p]);
39		}
40	33993	ternclauses[p].addTernaryClause(q, r);
41		}
42
43	11331	public void ternaryClauses(int lit1, int lit2, int lit3) {
44	11331	register(lit1, lit2, lit3);
45	11331	register(lit2, lit1, lit3);
46	11331	register(lit3, lit1, lit2);
47		}
48
49	1605631384	public int nTernaryClauses(int p) {
50	1605631384	if (ternclauses == null) {
51	1605384398	return 0;
52		}
53	246986	if (ternclauses[p] == null) {
54	12916	return 0;
55		}
56	234070	return ternclauses[p].size();
57		}
58		}