FMFI-UK-1-AIN-412 / elm-formula / Formula.Signed

This library exports signed formulas.

Definitions


type Signed a
    = T a
    | F a

Signed with T[rue] or F[alse]

Strings

toString : Signed Formula -> String

String representation of a Signed Formula

Tableau helpers

isAlpha : Signed Formula -> Basics.Bool

Is the signed formula of type Alpha

isBeta : Signed Formula -> Basics.Bool

Is the signed formula of type Beta

isGamma : Signed Formula -> Basics.Bool

Is the signed formula of type Gamma

isDelta : Signed Formula -> Basics.Bool

Is the signed formula of type Delta

isComplementary : Signed Formula -> Signed Formula -> Basics.Bool

Is the first Signed Formula complementary of the second Signed Formula

isSubformulaOf : Signed Formula -> Signed Formula -> Basics.Bool

Is the first a Signed subformula of the second

getFormula : Signed Formula -> Formula

Get Formula out of Signed Formula

subformulas : Signed Formula -> List (Signed Formula)

Get signed subformulas as a list of signed formulas