public class OccurrenceValues
extends java.lang.Object
Constructor and Description |
---|
OccurrenceValues() |
Modifier and Type | Method and Description |
---|---|
laas.aadl.aadl2gspn.OccurrenceValue |
getOccurrenceValueByName(java.lang.String symbolicParamId) |
boolean |
inverseOccIsNegative() |
java.lang.String |
inverseOccurrenceValue() |
void |
setOccurrenceValue(java.lang.String symbolicParamId,
double incrementOffset) |
public laas.aadl.aadl2gspn.OccurrenceValue getOccurrenceValueByName(java.lang.String symbolicParamId)
public void setOccurrenceValue(java.lang.String symbolicParamId, double incrementOffset)
public java.lang.String inverseOccurrenceValue()
public boolean inverseOccIsNegative()