| Copyright | (c) Dominik Dietrich, DFKI Bremen 2010 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | dominik.dietrich@dfki.de |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | Safe-Inferred |
CSL.Tools
Description
Documentation
negateFormula :: CMD -> CMD
getAtoms :: EXPRESSION -> [String]
getCmdAtoms :: CMD -> [String]
getBSAtoms :: BASIC_SPEC -> [String]