public final class ResetWFNet
extends java.lang.Object
Constructor and Description |
---|
ResetWFNet(YNet yNet)
Constructor for Reset net.
|
ResetWFNet(YNet yNet,
int maxMarkings) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
checkCancellationSets()
To check if the cancellation sets are unnecessary.
|
java.lang.String |
checkSoundness()
This method uses reachable markings to check soundness property.
|
java.lang.String |
checkWeakSoundness() |
boolean |
containsORjoins() |
RMarking |
convertToRMarking(YMarking M) |
static java.util.Set<YCondition> |
convertToYawlMappingsForConditions(RElement e) |
java.lang.String |
getID() |
RPlace |
getInputPlace() |
java.util.Map<java.lang.String,RElement> |
getNetElements() |
RPlace |
getOutputPlace() |
static java.util.Set<RElement> |
getPostset(java.util.Set<RElement> elements) |
static java.util.Set<RElement> |
getPreset(java.util.Set<RElement> elements) |
void |
removeNetElement(RElement netElement) |
void |
setMaxMarkings(int maxMarkings) |
void |
setParent(YAWLResetAnalyser parent) |
public ResetWFNet(YNet yNet)
public ResetWFNet(YNet yNet, int maxMarkings)
public java.lang.String getID()
public void setParent(YAWLResetAnalyser parent)
public java.util.Map<java.lang.String,RElement> getNetElements()
public RPlace getInputPlace()
public RPlace getOutputPlace()
public void setMaxMarkings(int maxMarkings)
public void removeNetElement(RElement netElement)
public java.lang.String checkWeakSoundness()
public boolean containsORjoins()
public java.lang.String checkCancellationSets()
public RMarking convertToRMarking(YMarking M)
public java.lang.String checkSoundness()
public static java.util.Set<YCondition> convertToYawlMappingsForConditions(RElement e)