jukebox-0.1.2: A first-order reasoning toolbox

Safe Haskell	None

Jukebox.GuessModel

Documentation

data Universe Source

Constructors

Peano
Trees

universe :: Universe -> Type -> NameM ([Function], [Form])Source

peano :: Type -> NameM ([Function], [Form])Source

trees :: Type -> NameM ([Function], [Form])Source

guessModel :: [String] -> Universe -> Problem Form -> Problem Form Source

ind :: Symbolic a => a -> Type Source

function :: [Function] -> Function -> Bool -> Function -> NameM [Form]Source

rhss :: [Function] -> [Term] -> Function -> Bool -> Form -> [Form]Source

cases :: [Function] -> [Type] -> NameM [[Term]]Source

cases1 :: [Function] -> Type -> NameM [Term]Source