Clover coverage report -

Coverage timestamp: ven. févr. 24 2006 06:59:02 CET

FRAMES NO FRAMES

file stats:	LOC:	16		Methods:	0
	NCLOC:	6		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

IAlgorithm.java

1		/**
2		*
3		*/
4		package org.sat4j.ubcsat.algorithms;
5
6		import org.sat4j.ubcsat.triggers.VarScore;
7
8		/**
9		* @author bourgeois
10		*/
11		public interface IAlgorithm {
12
13		public void selectVariableToFlip(int nClauses, int nVars, VarScore trigger);
14
15		public void init(int vars);
16		}