Documentation

Duper.Rules.IdentPropFalseElim

Determines whether a literal has exactly the form False = True or True = False

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For

      Eliminate literals that are exactly of the form False = True or True = False. This is a special case of the propFalseElim inference rule in which σ is the identity.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For