public class InputNodeSetResult extends AbstractElementSetResult
| Constructor and Description |
|---|
InputNodeSetResult(java.util.Set<java.lang.Short> inputNodeSet) |
| Modifier and Type | Method and Description |
|---|---|
void |
appendUnsatisfiedEvents(java.util.Set<java.lang.Short> unsatisfiedEvents) |
int |
getFreqUnsatisfiedNodeSet() |
java.util.Map<java.lang.Short,java.lang.Integer> |
getUnsatisfiedEventsFrequency() |
void |
setFreqUnsatisfiedNodeSet(int freqUnsatisfiedNodeSet) |
void |
setUnsatisfiedEventsFrequency(java.util.Map<java.lang.Short,java.lang.Integer> unsatisfiedEventsFrequency) |
getFrequency, getNumFitCaseInvolved, getNumUnfitCaseInvolved, incFrequency, incNumFitCaseInvolved, incNumUnfitCaseInvolved, setFrequency, setNumFitCaseInvolved, setNumUnfitCaseInvolvedpublic InputNodeSetResult(java.util.Set<java.lang.Short> inputNodeSet)
public void appendUnsatisfiedEvents(java.util.Set<java.lang.Short> unsatisfiedEvents)
unsatisfiedEvents - public java.util.Map<java.lang.Short,java.lang.Integer> getUnsatisfiedEventsFrequency()
public void setUnsatisfiedEventsFrequency(java.util.Map<java.lang.Short,java.lang.Integer> unsatisfiedEventsFrequency)
unsatisfiedEventsFrequency - the missingNodesFrequency to setpublic int getFreqUnsatisfiedNodeSet()
public void setFreqUnsatisfiedNodeSet(int freqUnsatisfiedNodeSet)
freqUnsatisfiedNodeSet - the freqMissingNodeSet to set