Clover coverage report -

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

FRAMES NO FRAMES

file stats:	LOC:	48		Methods:	3
	NCLOC:	20		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

CardinalityDataStructure.java

66,7%

66,7%

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.card.AtLeast;
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 To change the template for this generated type comment go to
17		* Window - Preferences - Java - Code Generation - Code and Comments
18		*/
19		public class CardinalityDataStructure extends AbstractCardinalityDataStructure {
20
21		private static final long serialVersionUID = 1L;
22
23	9478532	public Constr createUnregisteredClause(IVecInt literals) {
24	9478532	return new WLClause(literals, getVocabulary());
25		}
26
27		/*
28		* (non-Javadoc)
29		*
30		* @see org.sat4j.minisat.DataStructureFactory#createClause(org.sat4j.datatype.VecInt)
31		*/
32	249681	public Constr createClause(IVecInt literals) throws ContradictionException {
33	249681	return AtLeast.atLeastNew(solver, getVocabulary(), literals, 1);
34		}
35
36		/*
37		* (non-Javadoc)
38		*
39		* @see org.sat4j.minisat.DataStructureFactory#createCardinalityConstraint(org.sat4j.datatype.VecInt,
40		* int)
41		*/
42	0	@Override
43		public Constr createCardinalityConstraint(IVecInt literals, int degree)
44		throws ContradictionException {
45	0	return AtLeast.atLeastNew(solver, getVocabulary(), literals, degree);
46		}
47
48		}