Clover coverage report -

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

FRAMES NO FRAMES

file stats:	LOC:	62		Methods:	4
	NCLOC:	24		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

MixableCBClause.java

85,7%

75%

81,8%

1		/*
2		* CrÃ©Ã© le 4 fÃ©vr. 2005
3		*
4		* TODO Pour changer le modÃšle de ce fichier gÃ©nÃ©rÃ©, allez Ã :
5		* FenÃªtre - PrÃ©fÃ©rences - Java - Style de code - ModÃšles de code
6		*/
7		package org.sat4j.minisat.constraints.cnf;
8
9		import org.sat4j.minisat.core.ILits;
10		import org.sat4j.minisat.core.UnitPropagationListener;
11		import org.sat4j.specs.IVecInt;
12
13		/**
14		* Counter Based clauses that can be mixed with WLCLauses
15		*
16		* @author leberre
17		*/
18		public class MixableCBClause extends CBClause {
19
20		/**
21		* Commentaire pour <code>serialVersionUID</code>
22		*/
23		private static final long serialVersionUID = 1L;
24
25		/**
26		* @param ps
27		* @param voc
28		*/
29	93083	public MixableCBClause(IVecInt ps, ILits voc) {
30	93083	super(ps, voc);
31		// TODO Raccord de constructeur auto-gÃ©nÃ©rÃ©
32		}
33
34		/*
35		* (non-Javadoc)
36		*
37		* @see org.sat4j.minisat.core.Propagatable#propagate(org.sat4j.minisat.core.UnitPropagationListener,
38		* int)
39		*/
40	767294252	@Override
41		public boolean propagate(UnitPropagationListener s, int p) {
42	767294252	voc.watch(p, this);
43	767294252	return super.propagate(s, p);
44		}
45
46		/**
47		* @param ps
48		* @param voc
49		* @param learnt
50		*/
51	0	public MixableCBClause(IVecInt ps, ILits voc, boolean learnt) {
52	0	super(ps, voc, learnt);
53		// TODO Raccord de constructeur auto-gÃ©nÃ©rÃ©
54		}
55
56	830	public static CBClause brandNewClause(UnitPropagationListener s, ILits voc,
57		IVecInt literals) {
58	830	CBClause c = new MixableCBClause(literals, voc);
59	830	c.register();
60	830	return c;
61		}
62		}