Uses of Class
de.rwth.swc.coffee4j.algorithmic.interleaving.CoverageMap

Packages that use CoverageMap

Package	Description
de.rwth.swc.coffee4j.algorithmic.interleaving
de.rwth.swc.coffee4j.algorithmic.interleaving.feedback
de.rwth.swc.coffee4j.algorithmic.interleaving.generator
de.rwth.swc.coffee4j.algorithmic.interleaving.identification
de.rwth.swc.coffee4j.algorithmic.interleaving.manager
de.rwth.swc.coffee4j.algorithmic.interleaving.util

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)