public class RedundantBranch extends Object
Modifier and Type | Field and Description |
---|---|
IsNullValue |
firstValue |
Edge |
infeasibleEdge |
int |
lineNumber |
Location |
location |
IsNullValue |
secondValue |
Constructor and Description |
---|
RedundantBranch(Location location,
int lineNumber,
IsNullValue firstValue)
Constructor.
|
RedundantBranch(Location location,
int lineNumber,
IsNullValue firstValue,
IsNullValue secondValue)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
void |
setInfeasibleEdge(Edge infeasibleEdge)
Set the edge which has been determined to be infeasible.
|
String |
toString() |
public final Location location
public final int lineNumber
public final IsNullValue firstValue
public final IsNullValue secondValue
public Edge infeasibleEdge
public RedundantBranch(Location location, int lineNumber, IsNullValue firstValue, IsNullValue secondValue)
location
- Location of ref comparisonlineNumber
- line number of ref comparisonfirstValue
- first value comparedsecondValue
- second value comparedpublic RedundantBranch(Location location, int lineNumber, IsNullValue firstValue)
location
- Location of ref comparisonlineNumber
- line number of ref comparisonfirstValue
- first value comparedCopyright © 2003–2015. All rights reserved.