Class AbstractDiscreteCoverage

    • Constructor Detail

      • AbstractDiscreteCoverage

        public AbstractDiscreteCoverage()
      • AbstractDiscreteCoverage

        public AbstractDiscreteCoverage​(Module module)
    • Method Detail

      • isSetCoverageFunction

        public boolean isSetCoverageFunction()
      • setCoverageFunction

        public void setCoverageFunction​(CoverageFunction coverageFunction)
      • unsetCoverageFunction

        public void unsetCoverageFunction()