Hets - the Heterogeneous Tool Set

Copyright(c) Martin Kuehl, Uni Bremen 2008-2009
LicenseGPLv2 or higher, see LICENSE.txt
Maintainermkhl@informatik.uni-bremen.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone

Maude.Sentence

Contents

Description

Definition of sentences for Maude.

Synopsis

The Sentence type

Contruction

fromSpec :: Module -> [Sentence]

Extract the Sentences from the given Module.

fromStatements :: [Statement] -> [Sentence]

Extract the Sentences from the given Statements.

Testing

isRule :: Sentence -> Bool

True iff the given Sentence is a Rule.