Clover coverage report -

Coverage timestamp: jeu. sept. 29 2005 23:57:39 CEST

FRAMES NO FRAMES

file stats:	LOC:	39		Methods:	2
	NCLOC:	18		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

ClausalDataStructureCBWL.java

50%

80%

100%

77,8%

1		/*
2		* Created on 16 avr. 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;
8
9		import org.sat4j.minisat.constraints.cnf.MixableCBClause;
10		import org.sat4j.minisat.constraints.cnf.WLClause;
11		import org.sat4j.minisat.core.Constr;
12		import org.sat4j.specs.ContradictionException;
13		import org.sat4j.specs.IVecInt;
14
15		/**
16		* @author leberre Uses Counter Based data strcuture for the original clausal in
17		* the database and uses Watched Literals Data structure for learned
18		* clauses.
19		*/
20		public class ClausalDataStructureCBWL extends AbstractDataStructureFactory {
21
22		private static final long serialVersionUID = 1L;
23
24		/*
25		* (non-Javadoc)
26		*
27		* @see org.sat4j.minisat.DataStructureFactory#createClause(org.sat4j.datatype.VecInt)
28		*/
29	830	public Constr createClause(IVecInt literals) throws ContradictionException {
30	830	IVecInt v = WLClause.sanityCheck(literals, getVocabulary(), solver);
31	830	if (v == null)
32	0	return null;
33	830	return MixableCBClause.brandNewClause(solver, getVocabulary(), v);
34		}
35
36	3787692	public Constr createUnregisteredClause(IVecInt literals) {
37	3787692	return new WLClause(literals, getVocabulary());
38		}
39		}