Copyright	(c) Florian Mossakowski, Uni Bremen 2006
License	GPLv2 or higher, see LICENSE.txt
Maintainer	till@informatik.uni-bremen.de
Stability	provisional
Portability	portable
Safe Haskell	Safe-Inferred

ConstraintCASL.AS_ConstraintCASL

Description

Abstract syntax for ConstraintCASL Only the formula syntax is specified

Documentation

Constructors

Implication_ConstraintFormula ATOMCONJUNCTION ATOMCONJUNCTION
Equivalence_ConstraintFormula ATOMCONJUNCTION ATOMCONJUNCTION
Axiom_ConstraintFormula ATOMCONJUNCTION

Instances

Eq ConstraintFORMULA
Data ConstraintFORMULA
Ord ConstraintFORMULA
Show ConstraintFORMULA
ShATermConvertible ConstraintFORMULA
GetRange ConstraintFORMULA
Pretty ConstraintFORMULA
TermParser ConstraintFORMULA
FormExtension ConstraintFORMULA
TermExtension ConstraintFORMULA
Typeable * ConstraintFORMULA
ProjForm () ConstraintFORMULA
MinSL () ConstraintFORMULA
Sentences ConstraintCASL ConstraintCASLFORMULA ConstraintCASLSign ConstraintCASLMor Symbol
Syntax ConstraintCASL ConstraintCASLBasicSpec Symbol SYMB_ITEMS SYMB_MAP_ITEMS
StaticAnalysis ConstraintCASL ConstraintCASLBasicSpec ConstraintCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ConstraintCASLSign ConstraintCASLMor Symbol RawSymbol
Logic ConstraintCASL CASL_Sublogics ConstraintCASLBasicSpec ConstraintCASLFORMULA SYMB_ITEMS SYMB_MAP_ITEMS ConstraintCASLSign ConstraintCASLMor Symbol RawSymbol ()

Constructors

Empty_Relation
Equal_Relation
Id_Relation Id
Relation_Disjunction [RELATION]
Inverse_Relation RELATION

Instances

Eq RELATION
Data RELATION
Ord RELATION
Show RELATION
ShATermConvertible RELATION
Typeable * RELATION

Constructors

Instances

Eq ATOMCONJUNCTION
Data ATOMCONJUNCTION
Ord ATOMCONJUNCTION
Show ATOMCONJUNCTION
ShATermConvertible ATOMCONJUNCTION
Typeable * ATOMCONJUNCTION

data ATOM

Constructors

Prefix_Atom RELATION [ConstraintTERM]
Infix_Atom ConstraintTERM RELATION ConstraintTERM

Instances

Constructors

Atomar_Term Id
Composite_Term Id [ConstraintTERM]

Instances

Eq ConstraintTERM
Data ConstraintTERM
Ord ConstraintTERM
Show ConstraintTERM
ShATermConvertible ConstraintTERM
Typeable * ConstraintTERM