Package de.rwth.swc.coffee4j.algorithmic.sequential.generator.ipog

Interface CoverageMap

All Known Implementing Classes:

EfficientCoverageMap

public interface CoverageMap

Method Summary

Modifier and Type	Method	Description
int[]	computeGainsOfFixedParameter(int[] combination)
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

Optional<int[]> getUncoveredCombination()