HyLo.Signature

Documentation

data Signature n p r

Instances

(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 r

buildSignature :: Set n -> Set p -> Set r -> Signature n p r

addNomToSig :: Ord n => n -> Signature n p r -> Signature n p r

delNomFromSig :: Ord n => n -> Signature n p r -> Signature n p r

addPropToSig :: Ord p => p -> Signature n p r -> Signature n p r

delPropFromSig :: Ord p => p -> Signature n p r -> Signature n p r

addRelToSig :: Ord r => r -> Signature n p r -> Signature n p r

delRelFromSig :: Ord r => r -> Signature n p r -> Signature n p r

isNomInSig :: Ord n => n -> Signature n p r -> Bool

isPropInSig :: Ord p => p -> Signature n p r -> Bool

isRelInSig :: Ord r => r -> Signature n p r -> Bool

merge :: (Ord n, Ord p, Ord r) => Signature n p r -> Signature n p r -> Signature n p r

commonSig :: (Ord n, Ord p, Ord r) => Signature n p r -> Signature n p r -> Signature n p r

relSymbols :: Signature n p r -> Set r

propSymbols :: Signature n p r -> Set p

nomSymbols :: Signature n p r -> Set n

isSubsignatureOf :: (Ord n, Ord p, Ord r) => Signature n p r -> Signature n p r -> Bool

class HasSignature a where

Associated Types

type NomsOf a :: *

type PropsOf a :: *

type RelsOf a :: *

Methods

getSignature :: a -> Signature (NomsOf a) (PropsOf a) (RelsOf a)

Instances

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)

class Ord r => IsRelSym r where

Methods

invRel :: r -> Maybe r

Instances

IsRelSym RelSymbol

IsRelSym RelSymbol

hasInv :: IsRelSym r => r -> Bool

unit_tests :: UnitTest