Package de.rwth.swc.coffee4j.engine.generator.ipog

Interface CoverageMap

All Known Implementing Classes:

EfficientCoverageMap

public interface CoverageMap

Method Summary

Modifier and Type	Method	Description
int[]	computeGainsOfFixedParameter(int[] combination)
java.util.Optional<int[]>	getUncoveredCombination()
void	markAsCovered(int[] combination)
boolean	mayHaveUncoveredCombinations()

Method Detail

mayHaveUncoveredCombinations

boolean mayHaveUncoveredCombinations()

markAsCovered

void markAsCovered(int[] combination)

computeGainsOfFixedParameter

int[] computeGainsOfFixedParameter(int[] combination)

getUncoveredCombination

java.util.Optional<int[]> getUncoveredCombination()