This library exports signed formulas.
Signed with T[rue] or F[alse]
toString : Signed Formula -> String
String representation of a Signed Formula
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