Clover coverage report -

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

FRAMES NO FRAMES

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

Source file

Conditionals

Statements

Methods

TOTAL

PuebloPBMinDataStructure.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.PBConstr;
12		import org.sat4j.minisat.constraints.pb.PuebloMinWatchPb;
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 PuebloPBMinDataStructure 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	830	@Override
32		protected PBConstr constraintFactory(IVecInt literals, IVecInt coefs,
33		boolean moreThan, int degree) throws ContradictionException {
34	830	return PuebloMinWatchPb.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 PBConstr constraintFactory(IVecInt literals, IVecInt coefs,
46		int degree) {
47	0	return PuebloMinWatchPb.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	278984	@Override
58		protected PBConstr constraintFactory(IVecInt literals,
59		IVec<BigInteger> coefs, boolean moreThan, BigInteger degree)
60		throws ContradictionException {
61	278984	return PuebloMinWatchPb.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	21685	@Override
72		protected PBConstr constraintFactory(IVecInt literals,
73		IVec<BigInteger> coefs, BigInteger degree) {
74	21685	return PuebloMinWatchPb.watchPbNew(getVocabulary(), literals, coefs, true,
75		degree);
76		}
77
78		}