public class ReductionTracker
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
ReductionTracker.Rule |
Constructor and Description |
---|
ReductionTracker() |
ReductionTracker(ReductionTracker.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,
int newPlaceID,
int newTranID) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<java.lang.Integer> |
getAtt1() |
java.util.Set<java.lang.Integer> |
getAtt2() |
ReductionTracker.Rule |
getMethodName() |
int |
getNewPlaceID() |
int |
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(ReductionTracker.Rule methodName) |
void |
setNewPlaceID(int newPlaceID) |
void |
setNewTranID(int newTranID) |
void |
setPlaceName(java.lang.String name) |
void |
setSilent(boolean isSilent) |
void |
setTranName(java.lang.String name) |
public ReductionTracker(ReductionTracker.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, int newPlaceID, int newTranID)
public ReductionTracker()
public ReductionTracker.Rule getMethodName()
public void setMethodName(ReductionTracker.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 int getNewPlaceID()
public void setNewPlaceID(int newPlaceID)
public int getNewTranID()
public void setNewTranID(int newTranID)