Hets - the Heterogeneous Tool Set

Safe HaskellNone

Persistence.Reasoning.PremiseSelectionSInE

Documentation

data G_SInEResult Source #

Constructors

Logic lid sublogics basic_spec sentence symb_items symb_map_items sign morphism symbol raw_symbol proof_tree => G_SInEResult 

Fields

data SInEParameters Source #

Constructors

SInEParameters 

Fields

perform :: HetcatsOpts -> G_theory -> PremiseSelection -> String -> IO (Maybe [String], Int, G_SInEResult) Source #