Package org.variantsync.diffdetective.variation.tree.view.relevance

Class Configure

java.lang.Object

org.variantsync.diffdetective.variation.tree.view.relevance.Configure

All Implemented Interfaces:

Predicate<VariationNode<?,?>>, Relevance

public class Configure
extends Object
implements Relevance

Relevance predicate that generates (partial) variants from variation trees. This relevance predicate is the implementation of Equation 5 in our SPLC'23 paper.

Field Summary

Fields

Modifier and Type	Field	Description
private final FixTrueFalse.Formula	configuration

Constructor Summary

Constructors

Constructor	Description
Configure(org.prop4j.Node configuration)	Create a configuration relevance from a propositional formula that encodes selections and deselections of variables.
Configure(FixTrueFalse.Formula configuration)	Same as Configure(Node) but with a formula that is witnessed to not contain true or false constants not at the root.

Method Summary

Modifier and Type	Method	Description
<TreeNode extends VariationNode<TreeNode, ?>> void	computeViewNodes(TreeNode v, Consumer<TreeNode> markRelevant)	Delegates to Relevance.computeViewNodesCheckAll(Relevance, VariationNode, Consumer) with this relevance as the first parameter.
String	getFunctionName()
String	parametersToString()
boolean	test(VariationNode<?,?> v)
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.function.Predicate

and, negate, or

Field Details

configuration

private final FixTrueFalse.Formula configuration

Constructor Details

Configure

public Configure(FixTrueFalse.Formula configuration)

Same as Configure(Node) but with a formula that is witnessed to not contain true or false constants not at the root. Workaround for FeatureIDE bug FeatureIDE Issue 1333.

Configure

public Configure(org.prop4j.Node configuration)

Create a configuration relevance from a propositional formula that encodes selections and deselections of variables. Typically, the given formula should be in conjunctive normal form. The given configuration may be partial or complete.

Parameters:

configuration - A propositional formula that denotes selections and deselections.

Method Details

test

public boolean test(VariationNode<?,?> v)

Specified by:

test in interface Predicate<VariationNode<?,?>>

computeViewNodes

public <TreeNode extends VariationNode<TreeNode,
?>>
void computeViewNodes(TreeNode v,
 Consumer<TreeNode> markRelevant)

Description copied from interface: Relevance

Delegates to Relevance.computeViewNodesCheckAll(Relevance, VariationNode, Consumer) with this relevance as the first parameter.

Specified by:

computeViewNodes in interface Relevance

parametersToString

public String parametersToString()

Specified by:

parametersToString in interface Relevance

Returns:

The parameters set for this particular relevance predicate, as a comma-separated string (without braces).

getFunctionName

public String getFunctionName()

Specified by:

getFunctionName in interface Relevance

Returns:

The name of this relevance predicate's type.

toString

public String toString()

Overrides:

toString in class Object