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 |
ConstraintCASL.AS_ConstraintCASL
Description
Abstract syntax for ConstraintCASL Only the formula syntax is specified
Documentation
type ConstraintCASLBasicSpec = BASIC_SPEC () () ConstraintFORMULA Source #
data ConstraintFORMULA Source #
Constructors
Implication_ConstraintFormula ATOMCONJUNCTION ATOMCONJUNCTION | |
Equivalence_ConstraintFormula ATOMCONJUNCTION ATOMCONJUNCTION | |
Axiom_ConstraintFormula ATOMCONJUNCTION |
Instances
Constructors
Empty_Relation | |
Equal_Relation | |
Id_Relation Id | |
Relation_Disjunction [RELATION] | |
Inverse_Relation RELATION |
Instances
Eq RELATION Source # | |
Data RELATION Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RELATION -> c RELATION gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RELATION toConstr :: RELATION -> Constr dataTypeOf :: RELATION -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c RELATION) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RELATION) gmapT :: (forall b. Data b => b -> b) -> RELATION -> RELATION gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RELATION -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RELATION -> r gmapQ :: (forall d. Data d => d -> u) -> RELATION -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RELATION -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RELATION -> m RELATION gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RELATION -> m RELATION gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RELATION -> m RELATION | |
Ord RELATION Source # | |
Show RELATION Source # | |
data ATOMCONJUNCTION Source #
Constructors
Atom_Conjunction [ATOM] |
Instances
Eq ATOMCONJUNCTION Source # | |
Methods (==) :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> Bool (/=) :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> Bool | |
Data ATOMCONJUNCTION Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ATOMCONJUNCTION -> c ATOMCONJUNCTION gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ATOMCONJUNCTION toConstr :: ATOMCONJUNCTION -> Constr dataTypeOf :: ATOMCONJUNCTION -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ATOMCONJUNCTION) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ATOMCONJUNCTION) gmapT :: (forall b. Data b => b -> b) -> ATOMCONJUNCTION -> ATOMCONJUNCTION gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ATOMCONJUNCTION -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ATOMCONJUNCTION -> r gmapQ :: (forall d. Data d => d -> u) -> ATOMCONJUNCTION -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ATOMCONJUNCTION -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ATOMCONJUNCTION -> m ATOMCONJUNCTION gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ATOMCONJUNCTION -> m ATOMCONJUNCTION gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ATOMCONJUNCTION -> m ATOMCONJUNCTION | |
Ord ATOMCONJUNCTION Source # | |
Methods compare :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> Ordering (<) :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> Bool (<=) :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> Bool (>) :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> Bool (>=) :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> Bool max :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> ATOMCONJUNCTION min :: ATOMCONJUNCTION -> ATOMCONJUNCTION -> ATOMCONJUNCTION | |
Show ATOMCONJUNCTION Source # | |
Methods showsPrec :: Int -> ATOMCONJUNCTION -> ShowS show :: ATOMCONJUNCTION -> String showList :: [ATOMCONJUNCTION] -> ShowS |
Constructors
Prefix_Atom RELATION [ConstraintTERM] | |
Infix_Atom ConstraintTERM RELATION ConstraintTERM |
Instances
Eq ATOM Source # | |
Data ATOM Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ATOM -> c ATOM gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ATOM dataTypeOf :: ATOM -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ATOM) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ATOM) gmapT :: (forall b. Data b => b -> b) -> ATOM -> ATOM gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ATOM -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ATOM -> r gmapQ :: (forall d. Data d => d -> u) -> ATOM -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ATOM -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ATOM -> m ATOM gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ATOM -> m ATOM gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ATOM -> m ATOM | |
Ord ATOM Source # | |
Show ATOM Source # | |
data ConstraintTERM Source #
Constructors
Atomar_Term Id | |
Composite_Term Id [ConstraintTERM] |
Instances
Eq ConstraintTERM Source # | |
Methods (==) :: ConstraintTERM -> ConstraintTERM -> Bool (/=) :: ConstraintTERM -> ConstraintTERM -> Bool | |
Data ConstraintTERM Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ConstraintTERM -> c ConstraintTERM gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ConstraintTERM toConstr :: ConstraintTERM -> Constr dataTypeOf :: ConstraintTERM -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ConstraintTERM) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ConstraintTERM) gmapT :: (forall b. Data b => b -> b) -> ConstraintTERM -> ConstraintTERM gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ConstraintTERM -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ConstraintTERM -> r gmapQ :: (forall d. Data d => d -> u) -> ConstraintTERM -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ConstraintTERM -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ConstraintTERM -> m ConstraintTERM gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ConstraintTERM -> m ConstraintTERM gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ConstraintTERM -> m ConstraintTERM | |
Ord ConstraintTERM Source # | |
Methods compare :: ConstraintTERM -> ConstraintTERM -> Ordering (<) :: ConstraintTERM -> ConstraintTERM -> Bool (<=) :: ConstraintTERM -> ConstraintTERM -> Bool (>) :: ConstraintTERM -> ConstraintTERM -> Bool (>=) :: ConstraintTERM -> ConstraintTERM -> Bool max :: ConstraintTERM -> ConstraintTERM -> ConstraintTERM min :: ConstraintTERM -> ConstraintTERM -> ConstraintTERM | |
Show ConstraintTERM Source # | |
Methods showsPrec :: Int -> ConstraintTERM -> ShowS show :: ConstraintTERM -> String showList :: [ConstraintTERM] -> ShowS |