{- |

Module : $EmptyHeader$

Description : <optional short description entry>

Copyright : (c) <Authors or Affiliations>

License : GPLv2 or higher, see LICENSE.txt

Maintainer : <email>

Stability : unstable | experimental | provisional | stable | frozen

Portability : portable | non-portable (<reason>)

<optional description>

-}

---------------------------------------------------------------------------

-- Generated by DB/Direct

---------------------------------------------------------------------------

module Search.DB.FormulaDB where

import Database.HaskellDB.DBLayout

import qualified FormulaDB.Profile

import qualified FormulaDB.Short_profile

import qualified FormulaDB.Statistics

import qualified FormulaDB.Inclusion

import qualified FormulaDB.Theory

import qualified FormulaDB.Skel_to_theory

formulaDB :: DBInfo

formulaDB = DBInfo {dbname = "formulaDB",

opts = DBOptions {useBString = False},

tbls = [TInfo {tname = "profile",

cols = [CInfo {cname = "library",

descr = (StringT, False)},

CInfo {cname = "file",

descr = (StringT, False)},

CInfo {cname = "line",

descr = (IntT, False)},

CInfo {cname = "formula",

descr = (StringT, False)},

CInfo {cname = "skeleton",

descr = (StringT, False)},

CInfo {cname = "skeleton_md5",

descr = (StringT, False)},

CInfo {cname = "parameter",

descr = (StringT, False)},

CInfo {cname = "role",

descr = (StringT, False)},

CInfo {cname = "norm_strength",

descr = (StringT, False)},

CInfo {cname = "skeleton_length",

descr = (IntT, False)}]},

TInfo {tname = "short_profile",

cols = [CInfo {cname = "theory_id",

descr = (IntT, False)},

CInfo {cname = "skeleton_md5",

descr = (StringT, False)},

CInfo {cname = "parameter",

descr = (StringT, False)},

CInfo {cname = "role",

descr = (StringT, False)},

CInfo {cname = "line",

descr = (IntT, False)}]},

TInfo {tname = "statistics",

cols = [CInfo {cname = "library",

descr = (StringT, False)},

CInfo {cname = "file",

descr = (StringT, False)},

CInfo {cname = "tautologies",

descr = (IntT, False)},

CInfo {cname = "duplicates",

descr = (IntT, False)},

CInfo {cname = "formulae",

descr = (IntT, False)}]},

TInfo {tname = "inclusion",

cols = [CInfo {cname = "source",

descr = (StringT, False)},

CInfo {cname = "target",

descr = (StringT, False)},

CInfo {cname = "line_assoc",

descr = (StringT, False)},

CInfo {cname = "morphism",

descr = (StringT, False)},

CInfo {cname = "morphism_size",

descr = (IntT, False)}]},

TInfo {tname = "theory",

cols = [CInfo {cname = "tid",

descr = (IntT, False)},

CInfo {cname = "name",

descr = (StringT, False)}]},

TInfo {tname = "skel_to_theory",

cols = [CInfo {cname = "skeleton_md5",

descr = (StringT, False)},

CInfo {cname = "theory_id",

descr = (IntT, False)}]}]}