edu.neu.ccs.bias
Class Pair

java.lang.Object
  extended by edu.neu.ccs.bias.Pair
All Implemented Interfaces:
edu.neu.ccs.satsolver.PairI

 class Pair
extends java.lang.Object
implements edu.neu.ccs.satsolver.PairI


Field Summary
 double m_frac
           
 java.lang.Integer m_r
           
 
Constructor Summary
Pair(int r, double frac)
           
 
Method Summary
 boolean equals(java.lang.Object o)
           
 double getFraction()
           
 int getRelationNumber()
           
 int hashCode()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

m_r

public java.lang.Integer m_r

m_frac

public double m_frac
Constructor Detail

Pair

public Pair(int r,
            double frac)
Method Detail

getRelationNumber

public int getRelationNumber()
Specified by:
getRelationNumber in interface edu.neu.ccs.satsolver.PairI

getFraction

public double getFraction()
Specified by:
getFraction in interface edu.neu.ccs.satsolver.PairI

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class java.lang.Object

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object