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 Source #

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

isOfType :: TypeQual -> Bool Source #

isVar :: Env -> Term -> Bool Source #

isConstrAppl :: Env -> Term -> Bool Source #

isPat :: Env -> Term -> Bool Source #

isLHS :: Env -> Term -> Bool Source #

isExecutable :: Env -> Term -> Bool Source #

mkProgEq :: Env -> Term -> Maybe ProgEq Source #

mkConstTrueEq :: Env -> Term -> Maybe ProgEq Source #

bottom :: Type -> Term Source #

mkCondEq :: Env -> Term -> Maybe ProgEq Source #

mkQuantEq :: Env -> Term -> Maybe ProgEq Source #

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

translateSen :: Env -> Sentence -> Sentence Source #