CalcFormulaDepth

    let rec CalcFormulaDepth formula =
        | match formula with
        | Var(n) -> 1
        | Disj(n, m) -> 1 + CalcFormulaDepth(n) + CalcFormulaDepth(m)
        | Conj(n, m) -> 1 + CalcFormulaDepth(n) + CalcFormulaDepth(m)
        | Neg(n) -> 1 + CalcFormulaDepth(n)
        | Bic(n, m) -> 1 + CalcFormulaDepth(n) + CalcFormulaDepth(m)
        | Impl(n, m) -> 1 + CalcFormulaDepth(n) + CalcFormulaDepth(m)
        | _ -> 1

This function calculates how many operations are needed to be performed to calculate a formula.

Example

Input:

Formula.Disj(Conj(Var "N", Var "M"), Var "H")

Output:

5

Usage

let len = CalcFormulaDepth Formula.Disj(Conj(Var "N", Var "M"), Var "H")