| Copyright | (c) Dominik Luecke and Uni Bremen 2007 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | luecke@informatik.uni-bremen.de |
| Stability | experimental |
| Portability | non-portable (imports Logic.Logic) |
| Safe Haskell | None |
Comorphisms.CASL2Prop
Description
A comorphism from CASL to Propositional. The CASL sublogic does not precisely capture the valid domain of the translation. Sorts, ops and preds with arguments will be ignored. The translation will fail for non-propositional sentences.