Clover coverage report -

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

FRAMES NO FRAMES

file stats:	LOC:	63		Methods:	4
	NCLOC:	33		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

PureOrder.java

100%

91,7%

75%

90,9%

1		/*
2		* Created on 13 janv. 2005
3		*
4		* TODO To change the template for this generated file go to
5		* Window - Preferences - Java - Code Style - Code Templates
6		*/
7		package org.sat4j.minisat.orders;
8
9
10		/**
11		* @author leberre TODO To change the template for this generated type comment
12		* go to Window - Preferences - Java - Code Style - Code Templates
13		*/
14		public class PureOrder extends VarOrder {
15
16		/**
17		* Comment for <code>serialVersionUID</code>
18		*/
19		private static final long serialVersionUID = 1L;
20
21		private final int period;
22
23		private int cpt;
24
25	2	public PureOrder() {
26	2	this(20);
27		}
28
29	2	public PureOrder(int p) {
30	2	period = p;
31	2	cpt = period;
32		}
33
34		/*
35		* (non-Javadoc)
36		*
37		* @see org.sat4j.minisat.core.VarOrder#select()
38		*/
39	5672222	@Override
40		public int select() {
41		// wait period branching
42	5672222	if (cpt < period) {
43	5402115	cpt++;
44		} else {
45		// try to find a pure literal
46	270107	cpt = 0;
47	270107	int nblits = 2 * lits.nVars();
48	270107	for (int i = 1; i <= nblits; i++) {
49	26613628	if (lits.isUnassigned(i) && lits.watches(i).size() > 0
50		&& lits.watches(i ^ 1).size() == 0) {
51	143781	return i;
52		}
53		}
54		}
55		// not found: using normal order
56	5528441	return super.select();
57		}
58
59	0	@Override
60		public String toString() {
61	0	return "tries to first branch on a single phase watched unassigned variable (pure literal if using a CB data structure) else VSIDS from MiniSAT";
62		}
63		}