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 Source #

conjunction :: [String] -> AParser st ATOMCONJUNCTION Source #

atom :: [String] -> AParser st ATOM Source #

simplerelation :: [String] -> AParser st RELATION Source #

relation :: [String] -> AParser st RELATION Source #

constraintterm :: [String] -> AParser st ConstraintTERM Source #

formula :: [String] -> AParser st ConstraintCASLFORMULA Source #

emptyRelation :: String Source #

emptyRelationT :: GenParser Char st Token Source #

equalityRelation :: String Source #

equalityRelationT :: GenParser Char st Token Source #

inverse :: String Source #

inverseT :: GenParser Char st Token Source #

implies :: String Source #

impliesT :: GenParser Char st Token Source #

equivalent :: String Source #

equivalentT :: GenParser Char st Token Source #

constraintKeywords :: [String] Source #

Orphan instances