Uses of Class
org.variantsync.diffdetective.util.fide.FixTrueFalse.Formula

Packages that use FixTrueFalse.Formula

Package	Description
org.variantsync.diffdetective.analysis.logic
org.variantsync.diffdetective.util.fide
org.variantsync.diffdetective.variation.tree.view.relevance
org.variantsync.diffdetective.variation.tree.view.relevance.spec

Uses of FixTrueFalse.Formula in org.variantsync.diffdetective.analysis.logic

Methods in org.variantsync.diffdetective.analysis.logic with parameters of type FixTrueFalse.Formula

Modifier and Type	Method	Description
static boolean	SAT.checkSATviaDNF(FixTrueFalse.Formula formula)
static boolean	SAT.checkSATviaSat4J(FixTrueFalse.Formula formula)	Invokes a SAT solver on the given formula and returns its result.
static boolean	SAT.isSatisfiable(FixTrueFalse.Formula formula)	Checks whether the given formula is satisfiable.

Uses of FixTrueFalse.Formula in org.variantsync.diffdetective.util.fide

Methods in org.variantsync.diffdetective.util.fide that return FixTrueFalse.Formula

Modifier and Type	Method	Description
static FixTrueFalse.Formula	FixTrueFalse.Formula.and(FixTrueFalse.Formula... formulas)
static FixTrueFalse.Formula	FixTrueFalse.EliminateTrueAndFalse(org.prop4j.Node formula)	Replaces all literals in the given formula with the literals True and False.
static FixTrueFalse.Formula	FixTrueFalse.EliminateTrueAndFalseInplace(org.prop4j.Node formula)	Same as FixTrueFalse.EliminateTrueAndFalse(org.prop4j.Node) but mutates the given formula in-place.
FixTrueFalse.Formula	FixTrueFalse.Formula.mapUnsafe(Function<org.prop4j.Node,org.prop4j.Node> f)	Runs the given function on this formula and assumes that the given function does not introduce the constants "true" or "false".
static FixTrueFalse.Formula	FixTrueFalse.Formula.not(FixTrueFalse.Formula formula)
static FixTrueFalse.Formula	FixTrueFalse.Formula.or(FixTrueFalse.Formula... formulas)
static FixTrueFalse.Formula	FixTrueFalse.Formula.var(String name)

Methods in org.variantsync.diffdetective.util.fide with parameters of type FixTrueFalse.Formula

Modifier and Type	Method	Description
static FixTrueFalse.Formula	FixTrueFalse.Formula.and(FixTrueFalse.Formula... formulas)
static org.prop4j.Node[]	FixTrueFalse.Formula.gets(FixTrueFalse.Formula[] formulas)
static FixTrueFalse.Formula	FixTrueFalse.Formula.not(FixTrueFalse.Formula formula)
static FixTrueFalse.Formula	FixTrueFalse.Formula.or(FixTrueFalse.Formula... formulas)

Uses of FixTrueFalse.Formula in org.variantsync.diffdetective.variation.tree.view.relevance

Fields in org.variantsync.diffdetective.variation.tree.view.relevance declared as FixTrueFalse.Formula

Modifier and Type	Field	Description
private final FixTrueFalse.Formula	Configure.configuration

Constructors in org.variantsync.diffdetective.variation.tree.view.relevance with parameters of type FixTrueFalse.Formula

Modifier	Constructor	Description
	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.

Uses of FixTrueFalse.Formula in org.variantsync.diffdetective.variation.tree.view.relevance.spec

Fields in org.variantsync.diffdetective.variation.tree.view.relevance.spec declared as FixTrueFalse.Formula

Modifier and Type	Field	Description
private final FixTrueFalse.Formula	ConfigureSpec.config	The field for the config record component.

Methods in org.variantsync.diffdetective.variation.tree.view.relevance.spec that return FixTrueFalse.Formula

Modifier and Type	Method	Description
FixTrueFalse.Formula	ConfigureSpec.config()	Returns the value of the config record component.

Methods in org.variantsync.diffdetective.variation.tree.view.relevance.spec with parameters of type FixTrueFalse.Formula

Modifier and Type	Method	Description
static boolean	ConfigureSpec.test(FixTrueFalse.Formula formula, VariationNode<?,?> v)

Constructors in org.variantsync.diffdetective.variation.tree.view.relevance.spec with parameters of type FixTrueFalse.Formula

Modifier	Constructor	Description
	ConfigureSpec(FixTrueFalse.Formula config)	Creates an instance of a ConfigureSpec record class.