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

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.