edu.neu.ccs.bias
Class Pair
java.lang.Object
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)
|
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
m_r
public java.lang.Integer m_r
m_frac
public double m_frac
Pair
public Pair(int r,
double frac)
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