cz::muni::stanse::statistics::MessagesStat Member List
This is the complete list of members for
cz::muni::stanse::statistics::MessagesStat, including all inherited members.
getBugsPercentage() | cz::muni::stanse::statistics::MessagesStat | [inline, package] |
getFalsesPercentage() | cz::muni::stanse::statistics::MessagesStat | [inline, package] |
getNumBugs() | cz::muni::stanse::statistics::MessagesStat | [inline, package] |
getNumFailures() | cz::muni::stanse::statistics::MessagesStat | [inline, package] |
getNumFalses() | cz::muni::stanse::statistics::MessagesStat | [inline, package] |
getNumMsgs() | cz::muni::stanse::statistics::MessagesStat | [inline, package] |
getNumTouched() | cz::muni::stanse::statistics::MessagesStat | [inline, package] |
getNumUntouched() | cz::muni::stanse::statistics::MessagesStat | [inline, package] |
getTouchedPercentage() | cz::muni::stanse::statistics::MessagesStat | [inline, package] |
MessagesStat(final List errElements, final List failElements) | cz::muni::stanse::statistics::MessagesStat | [inline, package] |