Uses of Class
de.rwth.swc.coffee4j.algorithmic.interleaving.CoverageMap
-
-
Uses of CoverageMap in de.rwth.swc.coffee4j.algorithmic.interleaving
Constructors in de.rwth.swc.coffee4j.algorithmic.interleaving with parameters of type CoverageMap Constructor Description CoverageMap(CoverageMap coverageMap, ConstraintChecker checker)
-
Uses of CoverageMap in de.rwth.swc.coffee4j.algorithmic.interleaving.feedback
Methods in de.rwth.swc.coffee4j.algorithmic.interleaving.feedback that return CoverageMap Modifier and Type Method Description CoverageMap
FeedbackCheckingConfiguration. getCoverageMap()
Methods in de.rwth.swc.coffee4j.algorithmic.interleaving.feedback with parameters of type CoverageMap Modifier and Type Method Description FeedbackCheckingConfiguration.Builder
FeedbackCheckingConfiguration.Builder. coverageMap(CoverageMap coverageMap)
-
Uses of CoverageMap in de.rwth.swc.coffee4j.algorithmic.interleaving.generator
Methods in de.rwth.swc.coffee4j.algorithmic.interleaving.generator that return CoverageMap Modifier and Type Method Description CoverageMap
TestInputGenerationConfiguration. getCoverageMap()
Methods in de.rwth.swc.coffee4j.algorithmic.interleaving.generator with parameters of type CoverageMap Modifier and Type Method Description TestInputGenerationConfiguration.Builder
TestInputGenerationConfiguration.Builder. coverageMap(CoverageMap coverageMap)
-
Uses of CoverageMap in de.rwth.swc.coffee4j.algorithmic.interleaving.identification
Methods in de.rwth.swc.coffee4j.algorithmic.interleaving.identification that return CoverageMap Modifier and Type Method Description CoverageMap
IdentificationConfiguration. getCoverageMap()
Methods in de.rwth.swc.coffee4j.algorithmic.interleaving.identification with parameters of type CoverageMap Modifier and Type Method Description IdentificationConfiguration.IdentificationConfigurationBuilder
IdentificationConfiguration.IdentificationConfigurationBuilder. coverageMap(CoverageMap coverageMap)
-
Uses of CoverageMap in de.rwth.swc.coffee4j.algorithmic.interleaving.manager
Fields in de.rwth.swc.coffee4j.algorithmic.interleaving.manager declared as CoverageMap Modifier and Type Field Description protected CoverageMap
AbstractInterleavingManager. coverageMap
protected CoverageMap
AbstractInterleavingManager. coverageMap
protected CoverageMap
AbstractInterleavingManager. coverageMap
-
Uses of CoverageMap in de.rwth.swc.coffee4j.algorithmic.interleaving.util
Methods in de.rwth.swc.coffee4j.algorithmic.interleaving.util with parameters of type CoverageMap Modifier and Type Method Description Optional<ParameterValuePair>
OptimalValue. forParameter(int parameter, int numberOfValues, it.unimi.dsi.fastutil.ints.IntSet forbiddenValues, int[] testInput, CoverageMap coverageMap, ConstraintChecker checker)
-