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.Objectpublic boolean equals(java.lang.Object o)
equals in class java.lang.Object