Package org.variantsync.diffdetective.util.fide

package org.variantsync.diffdetective.util.fide
  • 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.