Safe Haskell | Safe-Infered |
---|
Documentation
(Eq n, Eq p, Eq r) => Eq (Signature n p r) | |
(Ord n, Ord p, Ord r, Read n, Read p, Read r) => Read (Signature n p r) | |
(Show n, Show p, Show r) => Show (Signature n p r) | |
(Arbitrary n, Ord n, Arbitrary p, Ord p, Arbitrary r, Ord r) => Arbitrary (Signature n p r) | |
(Ord n, Ord p, Ord r) => Monoid (Signature n p r) | |
HasSignature (Signature n p r) |
emptySignature :: Signature n p rSource
addNomToSig :: Ord n => n -> Signature n p r -> Signature n p rSource
delNomFromSig :: Ord n => n -> Signature n p r -> Signature n p rSource
addPropToSig :: Ord p => p -> Signature n p r -> Signature n p rSource
delPropFromSig :: Ord p => p -> Signature n p r -> Signature n p rSource
addRelToSig :: Ord r => r -> Signature n p r -> Signature n p rSource
delRelFromSig :: Ord r => r -> Signature n p r -> Signature n p rSource
isNomInSig :: Ord n => n -> Signature n p r -> BoolSource
isPropInSig :: Ord p => p -> Signature n p r -> BoolSource
isRelInSig :: Ord r => r -> Signature n p r -> BoolSource
relSymbols :: Signature n p r -> Set rSource
propSymbols :: Signature n p r -> Set pSource
nomSymbols :: Signature n p r -> Set nSource
class HasSignature a whereSource
HasSignature (Signature n p r) | |
(Ord n, Ord p, Ord r) => HasSignature (Formula n p r) | |
(Ord r, Ord n, Ord p) => HasSignature (HerbrandModel n p r) | |
HasSignature (Model w n p r) |