Hets - the Heterogeneous Tool Set

Copyright(c) Christian Maeder and Uni Bremen 2003
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

HasCASL.ProgEq

Description

convert some formulas to program equations

Documentation

isOp :: OpInfo -> Bool

isOpKind :: (OpInfo -> Bool) -> Env -> Term -> Bool

isOfType :: TypeQual -> Bool

isVar :: Env -> Term -> Bool

isConstrAppl :: Env -> Term -> Bool

isPat :: Env -> Term -> Bool

isLHS :: Env -> Term -> Bool

isExecutable :: Env -> Term -> Bool

mkProgEq :: Env -> Term -> Maybe ProgEq

mkConstTrueEq :: Env -> Term -> Maybe ProgEq

bottom :: Type -> Term

mkCondEq :: Env -> Term -> Maybe ProgEq

mkQuantEq :: Env -> Term -> Maybe ProgEq

getTupleAp :: Term -> Maybe (Id, [Term])

translateSen :: Env -> Sentence -> Sentence