package edu.neu.ccs.satsolver;

import java.util.Set;
/*
 * The PairI interface is used to encapsulate relation number/fraction pairs.
 * This is used in the input interfaces.
 */

public interface PairI
{
	/* Returns the relation number for this pair.
	 * Valid relation number are between 0 and 255 (inclusive).
	 *
	 * @return the relation number for this pair.
	 */
	public int getRelationNumber();

	/* Returns the fraction of constraints that are of this relation number.
	 * Valid fractions are between 0 and 1
	 *
	 * @return fraction
	 */
	public double getFraction();
}