Hets - the Heterogeneous Tool Set

Safe HaskellNone

Persistence.LogicGraph

Documentation

findOrCreateLogic :: (MonadIO m, Logic lid sublogics basic_spec sentence symb_items symb_map_items sign morphism symbol raw_symbol proof_tree) => HetcatsOpts -> LanguageId -> lid -> sublogics -> DBMonad m LogicId Source #

findReasoner :: MonadIO m => String -> ReasonerKindType -> DBMonad m (Maybe (Entity Reasoner)) Source #

findReasonerByGProver :: MonadIO m => G_prover -> DBMonad m (Entity Reasoner) Source #