Hets - the Heterogeneous Tool Set

Copyright(c) DFKI Bremen 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

CASL.CompositionTable.ModelFormula

Description

 

Documentation

data Form

Constructors

Quant QUANTIFIER [Int] Form 
Junct Bool [Form] 
Impl Bool Form Form 
Neg Form 
Const Bool 
Eq Term Term 

data Term

Constructors

Cond Term Form Term 
Appl Op [Term] 
Var Int 

data Op

Constructors

Comp 
Inter 
Union 
Compl 
Conv 
Shortcut 
Inv 
Home 
One 
Iden 
Zero 

getVars :: [VAR_DECL] -> [VAR]

vars :: FORMULA f -> Set VAR

lkup :: Map VAR Int -> VAR -> Int

getOp :: String -> Op

fromCASL :: Map OP_SYMB String -> Map VAR Int -> Record f Form Term