Clover coverage report -

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

FRAMES NO FRAMES

file stats:	LOC:	67		Methods:	4
	NCLOC:	27		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

ClausalDataStructureCB.java

100%

100%

1		/*
2		* Created on Jul 5, 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.CBClause;
10		import org.sat4j.minisat.constraints.cnf.WLClause;
11		import org.sat4j.minisat.core.Constr;
12		import org.sat4j.minisat.core.Propagatable;
13		import org.sat4j.specs.ContradictionException;
14		import org.sat4j.specs.IVec;
15		import org.sat4j.specs.IVecInt;
16
17		/**
18		* @author parrain To change the template for this generated type comment go to
19		* Window - Preferences - Java - Code Generation - Code and Comments
20		*/
21		public class ClausalDataStructureCB extends AbstractDataStructureFactory {
22
23		private static final long serialVersionUID = 1L;
24
25		/*
26		* (non-Javadoc)
27		*
28		* @see org.sat4j.minisat.core.DataStructureFactory#conflictDetectedInWatchesFor(int,
29		* int)
30		*/
31	8713393	@Override
32		public void conflictDetectedInWatchesFor(int p, int i) {
33		// to nothing
34		}
35
36		/*
37		* (non-Javadoc)
38		*
39		* @see org.sat4j.minisat.core.DataStructureFactory#getWatchesFor(int)
40		*/
41	153823864	@Override
42		public IVec<Propagatable> getWatchesFor(int p) {
43	153823864	return getVocabulary().watches(p);
44		}
45
46		/*
47		* (non-Javadoc)
48		*
49		* @see org.sat4j.minisat.core.DataStructureFactory#createClause(org.sat4j.specs.VecInt)
50		*/
51	249681	public Constr createClause(IVecInt literals) throws ContradictionException {
52	249681	IVecInt v = WLClause.sanityCheck(literals, getVocabulary(), solver);
53	249681	if (v == null)
54	13	return null;
55	249668	return CBClause.brandNewClause(solver, getVocabulary(), v);
56		}
57
58		/*
59		* (non-Javadoc)
60		*
61		* @see org.sat4j.minisat.core.DataStructureFactory#createUnregisteredClause(org.sat4j.specs.VecInt)
62		*/
63	8713348	public Constr createUnregisteredClause(IVecInt literals) {
64	8713348	return new CBClause(literals, getVocabulary());
65		}
66
67		}