edu.neu.ccs.satsolver
Interface PairI

public interface PairI

The PairI interface is used to encapsulate relation number/fraction pairs.

This is used in the input interfaces.

Method Summary

double	getFraction() Returns the fraction of constraints that are of this relation number.
int	getRelationNumber() Returns the relation number for this pair.

Method Detail

getRelationNumber

int getRelationNumber()

Returns the relation number for this pair. Valid relation numbers are between 0 and 255 (inclusive).

Returns:

the relation number for this pair.

getFraction

double getFraction()

Returns the fraction of constraints that are of this relation number. Valid fractions are between 0 and 1.

Returns:

fraction