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