HyLo.Signature

Documentation

data Signature n p r

Instances

(Eq n, Eq p, Eq r) => Eq (Signature n p r)

Methods

(==) :: Signature n p r -> Signature n p r -> Bool

(/=) :: Signature n p r -> Signature n p r -> Bool

(Ord n, Ord p, Ord r, Read n, Read p, Read r) => Read (Signature n p r)

Methods

readsPrec :: Int -> ReadS (Signature n p r)

readList :: ReadS [Signature n p r]

readPrec :: ReadPrec (Signature n p r)

readListPrec :: ReadPrec [Signature n p r]

(Show n, Show p, Show r) => Show (Signature n p r)

Methods

showsPrec :: Int -> Signature n p r -> ShowS

show :: Signature n p r -> String

showList :: [Signature n p r] -> ShowS

(Ord n, Ord p, Ord r) => Monoid (Signature n p r)

Methods

mempty :: Signature n p r

mappend :: Signature n p r -> Signature n p r -> Signature n p r

mconcat :: [Signature n p r] -> Signature n p r

HasSignature (Signature n p r)

Associated Types

type NomsOf (Signature n p r) :: *

type PropsOf (Signature n p r) :: *

type RelsOf (Signature n p r) :: *

Methods

getSignature :: Signature n p r -> Signature (NomsOf (Signature n p r)) (PropsOf (Signature n p r)) (RelsOf (Signature n p r))

type NomsOf (Signature n p r)

type NomsOf (Signature n p r) = n

type PropsOf (Signature n p r)

type PropsOf (Signature n p r) = p

type RelsOf (Signature n p r)

type RelsOf (Signature n p r) = 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

Minimal complete definition

getSignature

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)

Associated Types

type NomsOf (Signature n p r) :: *

type PropsOf (Signature n p r) :: *

type RelsOf (Signature n p r) :: *

Methods

getSignature :: Signature n p r -> Signature (NomsOf (Signature n p r)) (PropsOf (Signature n p r)) (RelsOf (Signature n p r))

(Ord n, Ord p, Ord r) => HasSignature (Formula n p r)

Associated Types

type NomsOf (Formula n p r) :: *

type PropsOf (Formula n p r) :: *

type RelsOf (Formula n p r) :: *

Methods

getSignature :: Formula n p r -> Signature (NomsOf (Formula n p r)) (PropsOf (Formula n p r)) (RelsOf (Formula n p r))

(Ord r, Ord n, Ord p) => HasSignature (HerbrandModel n p r)

Associated Types

type NomsOf (HerbrandModel n p r) :: *

type PropsOf (HerbrandModel n p r) :: *

type RelsOf (HerbrandModel n p r) :: *

Methods

getSignature :: HerbrandModel n p r -> Signature (NomsOf (HerbrandModel n p r)) (PropsOf (HerbrandModel n p r)) (RelsOf (HerbrandModel n p r))

HasSignature (Model w n p r)

Associated Types

type NomsOf (Model w n p r) :: *

type PropsOf (Model w n p r) :: *

type RelsOf (Model w n p r) :: *

Methods

getSignature :: Model w n p r -> Signature (NomsOf (Model w n p r)) (PropsOf (Model w n p r)) (RelsOf (Model w n p r))