jukebox-0.1.6: A first-order reasoning toolbox
Jukebox.Monotonox.ToFOF
data Scheme Source
Constructors
Fields
data Scheme1 Source
guard :: Scheme1 -> (Type -> Bool) -> Input Form -> Input Form Source
translate :: Scheme -> (Type -> Bool) -> Problem Form -> Problem Form Source
translate1 :: Scheme -> (Type -> Bool) -> Problem Form -> Problem Form Source
tagsFlags :: OptionParser Bool Source
tags :: Bool -> Scheme Source
tags1 :: Bool -> (Type -> Bool) -> (Type -> Function) -> Scheme1 Source
tagsAxiom :: Bool -> (Type -> Bool) -> (Type -> Function) -> Function -> NameM Form Source
tagsExists :: (Type -> Bool) -> Type -> Function -> NameM Form Source
guards :: Scheme Source
guards1 :: (Type -> Bool) -> (Type -> Function) -> Scheme1 Source
naked :: Symbolic a => Bool -> Variable -> a -> Bool Source
guardsAxiom :: (Type -> Bool) -> (Type -> Function) -> Function -> NameM Form Source
guardsTypeAxiom :: (Type -> Bool) -> (Type -> Function) -> Type -> NameM Form Source