protocol
class_hierarchyp
Class hierarchy protocol.
logtalk_load(hierarchies(loader))staticpublic hierarchypPublic predicates
class/1
Returns, by backtracking, all object classes.
staticclass(Class)class(?object) - zero_or_moreclasses/1
List of all object classes.
staticclasses(Classes)classes(-list) - oneinstance/1
Returns, by backtracking, all class instances.
staticinstance(Instance)instance(?object) - zero_or_moreinstances/1
List of all class instances.
staticinstances(Instances)instances(-list) - onesubclass/1
Returns, by backtracking, all class subclasses.
staticsubclass(Subclass)subclass(?object) - zero_or_moresubclasses/1
List of all class subclasses.
staticsubclasses(Subclasses)subclasses(-list) - onesuperclass/1
Returns, by backtracking, all class superclasses.
staticsuperclass(Superclass)superclass(?object) - zero_or_moresuperclasses/1
List of all class superclasses.
staticsuperclasses(Superclasses)superclasses(-list) - oneleaf_instance/1
Returns, by backtracking, all class leaf instances.
staticleaf_instance(Leaf)leaf_instance(?object) - zero_or_moreleaf_instances/1
List of all class leaf instances.
staticleaf_instances(Leaves)leaf_instances(-list) - oneleaf_class/1
Returns, by backtracking, all class leaf subclasses.
staticleaf_class(Leaf)leaf_class(?object) - zero_or_moreleaf_classes/1
List of all class leaf leaf subclasses.
staticleaf_classes(Leaves)leaf_classes(-list) - onedescendant_instance/1
Returns, by backtracking, all class descendant instances.
staticdescendant_instance(Descendant)descendant_instance(?object) - zero_or_moredescendant_instances/1
List of all class descendant instances.
staticdescendant_instances(Descendants)descendant_instances(-list) - onedescendant_class/1
Returns, by backtracking, all class descendant subclasses.
staticdescendant_class(Descendant)descendant_class(?object) - zero_or_moredescendant_classes/1
List of all class descendant subclasses.
staticdescendant_classes(Descendants)descendant_classes(-list) - oneProtected predicates
(no local declarations; see entity ancestors if any)
Private predicates
(no local declarations; see entity ancestors if any)
Operators
(none)
See also