Hets - the Heterogeneous Tool Set
Safe HaskellNone

PGIP.Output.Proof

Documentation

data ProofFormatterOptions Source #

Instances

Instances details
Eq ProofFormatterOptions Source # 
Instance details

Defined in PGIP.Output.Proof

Methods

(==) :: ProofFormatterOptions -> ProofFormatterOptions -> Bool

(/=) :: ProofFormatterOptions -> ProofFormatterOptions -> Bool

Show ProofFormatterOptions Source # 
Instance details

Defined in PGIP.Output.Proof

Methods

showsPrec :: Int -> ProofFormatterOptions -> ShowS

show :: ProofFormatterOptions -> String

showList :: [ProofFormatterOptions] -> ShowS

proofFormatterOptions :: ProofFormatterOptions Source #

pfoIncludeProof :: ProofFormatterOptions -> Bool Source #

pfoIncludeDetails :: ProofFormatterOptions -> Bool Source #

type ProofResult = (String, String, String, ProverOrConsChecker, AnyComorphism, Maybe (ProofStatus G_proof_tree), Maybe String) Source #

formatProofs :: Maybe String -> ProofFormatter Source #