Clover coverage report -

Coverage timestamp: dim. mars 13 2005 23:53:52 CET

FRAMES NO FRAMES

file stats:	LOC:	19		Methods:	0
	NCLOC:	5		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

Indexer.java

1		/*
2		* Created on 21 juin 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.pb;
8
9		import java.math.BigInteger;
10
11		/**
12		* @author leberre
13		*
14		*/
15		public interface Indexer {
16
17		BigInteger[] getIndex();
18
19		}