Uses of Class
org.variantsync.diffdetective.util.fide.FixTrueFalse.Formula
Packages that use FixTrueFalse.Formula
Package
Description
-
Uses of FixTrueFalse.Formula in org.variantsync.diffdetective.analysis.logic
Methods in org.variantsync.diffdetective.analysis.logic with parameters of type FixTrueFalse.FormulaModifier and TypeMethodDescriptionstatic 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.FormulaModifier and TypeMethodDescriptionstatic FixTrueFalse.Formula
FixTrueFalse.Formula.and
(FixTrueFalse.Formula... formulas) static FixTrueFalse.Formula
FixTrueFalse.EliminateTrueAndFalse
(org.prop4j.Node formula) Replaces all literals in the givenformula
with the literalsTrue
andFalse
.static FixTrueFalse.Formula
FixTrueFalse.EliminateTrueAndFalseInplace
(org.prop4j.Node formula) Same asFixTrueFalse.EliminateTrueAndFalse(org.prop4j.Node)
but mutates the given formula in-place.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
Methods in org.variantsync.diffdetective.util.fide with parameters of type FixTrueFalse.FormulaModifier and TypeMethodDescriptionstatic 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.FormulaConstructors in org.variantsync.diffdetective.variation.tree.view.relevance with parameters of type FixTrueFalse.FormulaModifierConstructorDescriptionConfigure
(FixTrueFalse.Formula configuration) Same asConfigure(Node)
but with a formula that is witnessed to not contain true or false constants not at the root.