Documentation
data Model w n p r Source #
Instances
(Ord w, Ord n, Ord p, Ord r) => ModelsRel (Model w n p r, w) (Formula n p r) n p r Source # | |
|
(Read w, Read n, Read p, Read r, Ord w, Ord n, Ord p, Ord r) => Read (Model w n p r) Source # | |
|
(Show w, Show n, Show p, Show r) => Show (Model w n p r) Source # | |
|
HasSignature (Model w n p r) Source # | |
|
(Ord w, Ord n, Ord p, Ord r) => ModelsRel (Model w n p r) (Formula n p r) n p r Source # | |
|
type NomsOf (Model w n p r) Source # | |
|
type PropsOf (Model w n p r) Source # | |
|
type RelsOf (Model w n p r) Source # | |
|
class ModelsRel m f n p r | m -> n, m -> p, m -> r, f -> n, f -> p, f -> r where Source #
Minimal complete definition
(|=)
Instances
(Ord r, Ord n, Ord p, ModelsRel (Model n n p r, n) f n p r) => ModelsRel (HerbrandModel n p r, n) f n p r Source # | |
|
(Ord w, Ord n, Ord p, Ord r) => ModelsRel (Model w n p r, w) (Formula n p r) n p r Source # | |
|
(Ord r, Ord n, Ord p, ModelsRel (Model n n p r) f n p r) => ModelsRel (HerbrandModel n p r) f n p r Source # | |
|
(Ord w, Ord n, Ord p, Ord r) => ModelsRel (Model w n p r) (Formula n p r) n p r Source # | |
|