TM::Axes (3pm)

The \s-1TM\s0 module offers the method \*(C`match\*(C' (and friends) to query assertions in a \s-1TM\s0 data structure. While there is a generic search specification, it will be too slow. Instead some axes have been implemented specifically. These are listed below.

Automatically generated from \s-1TM\s0 (1.54)

Code:<empty>

returns all assertions

Code:anyid

return all assertions where a given toplet appears somehow

          'anyid' => 'the toplet'

Code:aplayer.arole.bplayer.brole.type

return all assertions of a given type where a given toplet plays a given role and there exist another given role with another given toplet as player 'bplayer' => 'the player for the brole', 'aplayer' => 'the player toplet for the arole', 'arole' => 'the role toplet (incl subclasses) for the aplayer', 'type' => 'the type of the assertion', 'brole' => 'the other role toplet (incl subclasses)'

Code:aplayer.arole.brole.type

return all assertions of a given type where a given toplet plays a given role and there exist another given role 'aplayer' => 'the player toplet for the arole', 'arole' => 'the role toplet (incl subclasses) for the aplayer', 'type' => 'the type of the assertion', 'brole' => 'the other role toplet (incl subclasses)'

Code:char.irole

deprecated: return all assertions which are characteristics for a given toplet 'irole' => 'the toplet for which characteristics are sought', 'char' => '1'

Code:char.topic

return all assertions which are characteristics for a given toplet 'topic' => 'the toplet for which characteristics are sought', 'char' => '1'

Code:char.topic.type

return all assertions which are a characteristic of a given type for a given topic 'topic' => 'the toplet for which these characteristics are sought', 'char' => '1', 'type' => 'type of characteristic'

Code:char.type

return all assertions which are characteristics for some given type 'char' => '1', 'type' => 'the characteristic type'

Code:char.type.value

return all assertions which are characteristics for some topic of a given value for some given type 'value' => 'the value for which all characteristics are sought', 'char' => '1', 'type' => 'the characteristic type'

Code:char.value

return all assertions which are characteristics for some topic of a given value 'value' => 'the value for which all characteristics are sought', 'char' => '1'

Code:class.type

returns all assertions where there are instances of a given toplet 'class' => 'which toplet should be the class', 'type' => 'isa'

Code:instance.type

returns all assertions where there are classes of a given toplet 'type' => 'isa', 'instance' => 'which toplet should be the instance'

Code:iplayer

return all assertions where a given toplet is a player 'iplayer' => 'the player toplet'

Code:iplayer.irole

return all assertions where a given toplet is a player of a given role 'iplayer' => 'the player toplet', 'irole' => 'the role toplet (incl subclasses)'

Code:iplayer.irole.type

return all assertions of a given type where a given toplet is a player of a given role 'iplayer' => 'the player toplet', 'irole' => 'the role toplet (incl subclasses)', 'type' => 'the type of the assertion'

Code:iplayer.type

return all assertions of a given type where a given toplet is a player 'iplayer' => 'the player toplet', 'type' => 'the type of the assertion'

Code:irole

return all assertions where there is a given role 'irole' => 'the role toplet (incl subclasses)'

Code:irole.type

return all assertions of a given type where there is a given role 'irole' => 'the role toplet (incl subclasses)', 'type' => 'the type of the assertion'

Code:lid

return one particular assertions with a given \s-1ID\s0 'lid' => 'the ID of the assertion'

Code:nochar

returns all associations (so no names or occurrences) 'nochar' => '1'

Code:subclass.type

returns all assertions where there are subclasses of a given toplet 'subclass' => 'which toplet should be the superclass', 'type' => 'is-subclass-of'

Code:superclass.type

returns all assertions where there are superclasses of a given toplet 'superclass' => 'which toplet should be the subclass', 'type' => 'is-subclass-of'

Code:type

return all assertions with a given type 'type' => 'the type of the assertion'

\s-1TM\s0

Copyright 200[8] by Robert Barta, <[email protected]>

This library is free software; you can redistribute it and/or modify it under the same terms as Perl itself.