public class CopyOfLDSets
extends java.lang.Object
Constructor and Description |
---|
CopyOfLDSets(int rowId,
int negId,
int posiId,
boolean places) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<java.lang.Integer> |
getAllNodes(InteractivePetriNet ipn) |
int |
getID() |
int |
getNegativeId() |
java.util.Set<java.lang.Integer> |
getNegativeNodes(InteractivePetriNet ipn) |
int |
getPositiveId() |
java.util.Set<java.lang.Integer> |
getPositiveNodes(InteractivePetriNet ipn) |
void |
setID(int id) |
void |
setNegativeID(int negativeId) |
void |
setPositiveID(int positiveTrans) |
void |
updateNegativeId(int newNegId) |
void |
updatePositiveId(int newPosId) |
public CopyOfLDSets(int rowId, int negId, int posiId, boolean places)
public int getID()
public void setID(int id)
public java.util.Set<java.lang.Integer> getNegativeNodes(InteractivePetriNet ipn)
public void setNegativeID(int negativeId)
public java.util.Set<java.lang.Integer> getPositiveNodes(InteractivePetriNet ipn)
public void setPositiveID(int positiveTrans)
public java.util.Set<java.lang.Integer> getAllNodes(InteractivePetriNet ipn)
public void updateNegativeId(int newNegId)
public void updatePositiveId(int newPosId)
public int getNegativeId()
public int getPositiveId()