| Copyright | (c) Mingyi Liu and Till Mossakowski and Uni Bremen 2004 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | xinga@informatik.uni-bremen.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
CASL.CCC.OnePoint
Description
Check for truth in one-point model with all predicates true, all functions total
- evaluateOnePoint :: Morphism f e m -> [FORMULA f] -> Maybe Bool
- evaluateOnePointFORMULA :: Sign f e -> FORMULA f -> Maybe Bool
- addsNewSupersorts :: Morphism f e m -> Bool
Documentation
evaluateOnePoint :: Morphism f e m -> [FORMULA f] -> Maybe Bool
evaluateOnePointFORMULA :: Sign f e -> FORMULA f -> Maybe Bool
addsNewSupersorts :: Morphism f e m -> Bool
Test whether a signature morphism adds new supersorts