Clover coverage report -

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

FRAMES NO FRAMES

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

Source file

Conditionals

Statements

Methods

TOTAL

PBMaxDataStructure.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.MaxWatchPb;
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 PBMaxDataStructure extends AbstractPBDataStructureFactory {
22
23		private static final long serialVersionUID = 1L;
24
25		/**
26		* @param literals
27		* @param coefs
28		* @param moreThan
29		* @param degree
30		* @return
31		* @throws ContradictionException
32		*/
33	499336	@Override
34		protected WatchPb constraintFactory(IVecInt literals, IVecInt coefs,
35		boolean moreThan, int degree) throws ContradictionException {
36	499336	return MaxWatchPb.maxWatchPbNew(solver, getVocabulary(), literals,
37		coefs, moreThan, degree);
38		}
39
40		/**
41		* @param literals
42		* @param coefs
43		* @param degree
44		* @return
45		*/
46	0	@Override
47		protected WatchPb constraintFactory(IVecInt literals, IVecInt coefs,
48		int degree) {
49	0	return MaxWatchPb.watchPbNew(getVocabulary(), literals, coefs, true,
50		degree);
51		}
52
53		/**
54		* @param literals
55		* @param coefs
56		* @param moreThan
57		* @param degree
58		* @return
59		* @throws ContradictionException
60		*/
61	280463	@Override
62		protected WatchPb constraintFactory(IVecInt literals,
63		IVec<BigInteger> coefs, boolean moreThan, BigInteger degree)
64		throws ContradictionException {
65	280463	return MaxWatchPb.maxWatchPbNew(solver, getVocabulary(), literals,
66		coefs, moreThan, degree);
67		}
68
69		/**
70		* @param literals
71		* @param coefs
72		* @param degree
73		* @return
74		*/
75	29236	@Override
76		protected WatchPb constraintFactory(IVecInt literals,
77		IVec<BigInteger> coefs, BigInteger degree) {
78	29236	return MaxWatchPb.watchPbNew(getVocabulary(), literals, coefs, true,
79		degree);
80		}
81
82		}