Clover coverage report -

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

FRAMES NO FRAMES

file stats:	LOC:	78		Methods:	4
	NCLOC:	35		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

PBMinDataStructure.java

75%

75%

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 java.math.BigInteger;
10
11		import org.sat4j.minisat.constraints.pb.MinWatchPb;
12		import org.sat4j.minisat.constraints.pb.WatchPb;
13		import org.sat4j.specs.ContradictionException;
14		import org.sat4j.specs.IVec;
15		import org.sat4j.specs.IVecInt;
16
17		/**
18		* @author leberre To change the template for this generated type comment go to
19		* Window - Preferences - Java - Code Generation - Code and Comments
20		*/
21		public class PBMinDataStructure extends AbstractPBDataStructureFactory {
22
23		private static final long serialVersionUID = 1L;
24
25		/*
26		* (non-Javadoc)
27		*
28		* @see org.sat4j.minisat.constraints.AbstractPBDataStructureFactory#constraintFactory(org.sat4j.specs.VecInt,
29		* org.sat4j.specs.VecInt, boolean, int)
30		*/
31	499336	@Override
32		protected WatchPb constraintFactory(IVecInt literals, IVecInt coefs,
33		boolean moreThan, int degree) throws ContradictionException {
34	499336	return MinWatchPb.minWatchPbNew(solver, getVocabulary(), literals,
35		coefs, moreThan, degree);
36		}
37
38		/*
39		* (non-Javadoc)
40		*
41		* @see org.sat4j.minisat.constraints.AbstractPBDataStructureFactory#constraintFactory(org.sat4j.specs.VecInt,
42		* org.sat4j.specs.VecInt, int)
43		*/
44	0	@Override
45		protected WatchPb constraintFactory(IVecInt literals, IVecInt coefs,
46		int degree) {
47	0	return MinWatchPb.watchPbNew(getVocabulary(), literals, coefs, true,
48		degree);
49		}
50
51		/*
52		* (non-Javadoc)
53		*
54		* @see org.sat4j.minisat.constraints.AbstractPBDataStructureFactory#constraintFactory(org.sat4j.specs.VecInt,
55		* org.sat4j.specs.VecInt, boolean, int)
56		*/
57	280273	@Override
58		protected WatchPb constraintFactory(IVecInt literals,
59		IVec<BigInteger> coefs, boolean moreThan, BigInteger degree)
60		throws ContradictionException {
61	280273	return MinWatchPb.minWatchPbNew(solver, getVocabulary(), literals,
62		coefs, moreThan, degree);
63		}
64
65		/*
66		* (non-Javadoc)
67		*
68		* @see org.sat4j.minisat.constraints.AbstractPBDataStructureFactory#constraintFactory(org.sat4j.specs.VecInt,
69		* org.sat4j.specs.VecInt, int)
70		*/
71	33226	@Override
72		protected WatchPb constraintFactory(IVecInt literals,
73		IVec<BigInteger> coefs, BigInteger degree) {
74	33226	return MinWatchPb.watchPbNew(getVocabulary(), literals, coefs, true,
75		degree);
76		}
77
78		}