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

CASL.CompositionTable.ModelFormula

Description

 

Documentation

data Form Source #

Constructors

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

data Term Source #

Constructors

Cond Term Form Term 
Appl Op [Term] 
Var Int 

data Op Source #

Constructors

Comp 
Inter 
Union 
Compl 
Conv 
Shortcut 
Inv 
Home 
One 
Iden 
Zero 

getVars :: [VAR_DECL] -> [VAR] Source #

vars :: FORMULA f -> Set VAR Source #

lkup :: Map VAR Int -> VAR -> Int Source #

getOp :: String -> Op Source #

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