Safe Haskell	None

Persistence.Reasoning.PremiseSelectionSInE

Documentation

Constructors

forall lid sublogics basic_spec sentence symb_items symb_map_items sign morphism symbol raw_symbol proof_tree.Logic lid sublogics basic_spec sentence symb_items symb_map_items sign morphism symbol raw_symbol proof_tree => G_SInEResult
Fields gSineLogic :: lid parameters :: SInEParameters symbolCommonnesses :: Map symbol Int premiseTriggers :: Map symbol [(Double, Named sentence)] leastCommonSymbols :: Map (Named sentence) (symbol, Int) selectedPremises :: Set (Named sentence) selectedPremiseNames :: Set String

Constructors

SInEParameters
Fields depthLimit :: Maybe Int tolerance :: Maybe Double premiseNumberLimit :: Maybe Int