public final class Conflict
extends java.lang.Object
Constructor and Description |
---|
Conflict(int lhs,
int rhs)
Constructs a conflict.
|
Conflict(int lhs,
int rhs,
boolean differentSigns)
Constructs a conflict.
|
Modifier and Type | Method and Description |
---|---|
boolean |
areDifferentSigns()
Check whether the conflicting variables have different signs.
|
boolean |
equals(java.lang.Object o) |
int |
getLhsVar()
The left-hand-side variable (i.e., a variable with a lower identifier) of the conflict.
|
int |
getRhsVar()
The right-hand-side variable (i.e., a variable with a higher identifier) of the conflict.
|
int |
hashCode() |
public Conflict(int lhs, int rhs, boolean differentSigns)
lhs
- variable 1.rhs
- variable 2.differentSigns
- the different-signs flag.public Conflict(int lhs, int rhs)
lhs
- variable 1.rhs
- variable 2.public int getLhsVar()
public int getRhsVar()
public boolean areDifferentSigns()
true
if the conflicting variables have different signs; false
otherwise.public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object