Variable getSubFormulasReadonly

Type declaration

• • (formula: PropFormula): PropFormula[]

  • Extracts all true sub-formulas from a given propositional formula. This function does not include atomic formulas (Operator.Var) as sub-formulas, nor does it include the input formula itself.

    Parameters

    • formula: PropFormula

      The propositional formula to extract sub-formulas from.

    Returns PropFormula[]

    An array of unique sub-formulas, sorted in evaluation order.