public class ReductionTrackerL
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
ReductionTrackerL.Rule |
Constructor and Description |
---|
ReductionTrackerL() |
ReductionTrackerL(ReductionTrackerL.Rule rule,
java.util.Set<java.lang.Integer> att1,
java.util.Set<java.lang.Integer> att2,
java.lang.String tranLabel,
java.lang.String placeLabel,
boolean isSilentTran,
java.lang.Integer newPlaceID,
java.lang.Integer newTranID) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<java.lang.Integer> |
getAtt1() |
java.util.Set<java.lang.Integer> |
getAtt2() |
ReductionTrackerL.Rule |
getMethodName() |
java.lang.Integer |
getNewPlaceID() |
java.lang.Integer |
getNewTranID() |
java.lang.String |
getPlaceName() |
java.lang.String |
getTranName() |
boolean |
isSilent() |
void |
setAtt1(java.util.Set<java.lang.Integer> att1) |
void |
setAtt2(java.util.Set<java.lang.Integer> att2) |
void |
setMethodName(ReductionTrackerL.Rule methodName) |
void |
setNewPlaceID(java.lang.Integer newPlaceID) |
void |
setNewTranID(java.lang.Integer newTranID) |
void |
setPlaceName(java.lang.String name) |
void |
setSilent(boolean isSilent) |
void |
setTranName(java.lang.String name) |
public ReductionTrackerL(ReductionTrackerL.Rule rule, java.util.Set<java.lang.Integer> att1, java.util.Set<java.lang.Integer> att2, java.lang.String tranLabel, java.lang.String placeLabel, boolean isSilentTran, java.lang.Integer newPlaceID, java.lang.Integer newTranID)
public ReductionTrackerL()
public ReductionTrackerL.Rule getMethodName()
public void setMethodName(ReductionTrackerL.Rule methodName)
public java.util.Set<java.lang.Integer> getAtt1()
public void setAtt1(java.util.Set<java.lang.Integer> att1)
public java.util.Set<java.lang.Integer> getAtt2()
public void setAtt2(java.util.Set<java.lang.Integer> att2)
public boolean isSilent()
public void setSilent(boolean isSilent)
public java.lang.String getTranName()
public void setTranName(java.lang.String name)
public java.lang.String getPlaceName()
public void setPlaceName(java.lang.String name)
public java.lang.Integer getNewPlaceID()
public void setNewPlaceID(java.lang.Integer newPlaceID)
public java.lang.Integer getNewTranID()
public void setNewTranID(java.lang.Integer newTranID)