public class SoundnessInformation
extends java.lang.Object
Constructor and Description |
---|
SoundnessInformation() |
Modifier and Type | Method and Description |
---|---|
void |
addDeadTransition(java.lang.String key) |
void |
addNonLiveSequence(java.util.List<java.lang.String> marking,
java.lang.String transition) |
void |
addNonLiveTransition(java.lang.String key) |
void |
addUnboundedPlace(java.lang.String key) |
void |
addUnboundedSequence(java.util.List<java.lang.String> marking,
java.lang.String transition) |
java.util.List<java.lang.String> |
getDeadTransitions() |
java.util.List<java.lang.String> |
getNonLiveSequenceMarking(int i) |
int |
getNonLiveSequenceSize() |
java.lang.String |
getNonLiveSequenceTransition(int i) |
java.util.List<java.lang.String> |
getNonLiveTransitions() |
java.util.List<java.lang.String> |
getUnboundedPlaces() |
java.util.List<java.lang.String> |
getUnboundedSequenceMarking(int i) |
int |
getUnboundedSequenceSize() |
java.lang.String |
getUnboundedSequenceTransition(int i) |
java.lang.Boolean |
isNoDeadTasks() |
java.lang.Boolean |
isOptionToComplete() |
java.lang.Boolean |
isProperCompletion() |
void |
setNoDeadTasks(java.lang.Boolean noDeadTasks) |
void |
setOptionToComplete(java.lang.Boolean optionToComplete) |
void |
setProperCompletion(java.lang.Boolean properCompletion) |
public java.lang.Boolean isOptionToComplete()
public void setOptionToComplete(java.lang.Boolean optionToComplete)
public java.lang.Boolean isProperCompletion()
public void setProperCompletion(java.lang.Boolean properCompletion)
public java.lang.Boolean isNoDeadTasks()
public void setNoDeadTasks(java.lang.Boolean noDeadTasks)
public void addNonLiveTransition(java.lang.String key)
public java.util.List<java.lang.String> getNonLiveTransitions()
public void addDeadTransition(java.lang.String key)
public java.util.List<java.lang.String> getDeadTransitions()
public void addUnboundedPlace(java.lang.String key)
public java.util.List<java.lang.String> getUnboundedPlaces()
public void addNonLiveSequence(java.util.List<java.lang.String> marking, java.lang.String transition)
public int getNonLiveSequenceSize()
public java.util.List<java.lang.String> getNonLiveSequenceMarking(int i)
public java.lang.String getNonLiveSequenceTransition(int i)
public void addUnboundedSequence(java.util.List<java.lang.String> marking, java.lang.String transition)
public int getUnboundedSequenceSize()
public java.util.List<java.lang.String> getUnboundedSequenceMarking(int i)
public java.lang.String getUnboundedSequenceTransition(int i)