| 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 |
CSL.Tools
Description
Documentation
negateFormula :: CMD -> CMD Source #
getAtoms :: EXPRESSION -> [String] Source #
getCmdAtoms :: CMD -> [String] Source #
getBSAtoms :: BASIC_SPEC -> [String] Source #