Package org.variantsync.diffdetective.analysis.logic

Class UniqueViewsAlgorithm

java.lang.Object

org.variantsync.diffdetective.analysis.logic.UniqueViewsAlgorithm

public class UniqueViewsAlgorithm
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
private static final int	POWERSET_BLOWUP_THRESHOLD

Constructor Summary

Constructors

Constructor	Description
UniqueViewsAlgorithm()

Method Summary

Modifier and Type	Method	Description
static List<org.prop4j.Node>	getUniquePartialConfigs(VariationDiff<?> d, boolean simplify)	Build a set of partial configurations such that - every config denotes a view of the given diff - every view is uniqe - every possible view is included This works by deselecting any subset of presence conditions of the artifacts in the given diff.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

POWERSET_BLOWUP_THRESHOLD

private static final int POWERSET_BLOWUP_THRESHOLD

See Also:

• Constant Field Values

Constructor Details

UniqueViewsAlgorithm

public UniqueViewsAlgorithm()

Method Details

getUniquePartialConfigs

public static List<org.prop4j.Node> getUniquePartialConfigs(VariationDiff<?> d,
 boolean simplify)

Build a set of partial configurations such that - every config denotes a view of the given diff - every view is uniqe - every possible view is included This works by deselecting any subset of presence conditions of the artifacts in the given diff.

Parameters:

d -

simplify - Whether to simplify formulas in between the algorithm.

Returns: