Hets - the Heterogeneous Tool Set

Copyright(c) Florian Mossakowski, Uni Bremen 2006
LicenseGPLv2 or higher, see LICENSE.txt
Maintainertill@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

ConstraintCASL.Formula

Description

parse terms and formulae

Documentation

cformula :: [String] -> AParser st ConstraintFORMULA

conjunction :: [String] -> AParser st ATOMCONJUNCTION

atom :: [String] -> AParser st ATOM

simplerelation :: [String] -> AParser st RELATION

relation :: [String] -> AParser st RELATION

constraintterm :: [String] -> AParser st ConstraintTERM

formula :: [String] -> AParser st ConstraintCASLFORMULA

emptyRelation :: String

emptyRelationT :: GenParser Char st Token

equalityRelation :: String

equalityRelationT :: GenParser Char st Token

inverse :: String

inverseT :: GenParser Char st Token

implies :: String

impliesT :: GenParser Char st Token

equivalent :: String

equivalentT :: GenParser Char st Token

constraintKeywords :: [String]