Package org.variantsync.diffdetective.util.fide

package org.variantsync.diffdetective.util.fide

Related Packages

Package	Description
org.variantsync.diffdetective.util

Classes

Class	Description
FixTrueFalse	Class to fix bugs related to True and False of FeatureIDE.
FixTrueFalse.Formula	This class is a witness that a formula had its true and false constants eliminated or is just such a constant (and nothing else except from perhaps negations).
FormulaUtils	Utilities for handling Nodes as logical formulas.