Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
ADT
ADT.Relation
ADT.Relation.Binary

Classes
 _get_iterator

Methods
 _sizeof()
 `&()
 `()()
 `+()
 `-()
 `<=()
 `|()
 add()
 contains()
 filter()
 filter_destructively()
 find_shortest_path()
 get_id()
 make_symmetric()
 map()
 remove()
previousADT.Relation.Binary()->`-()
ADT.Relation.Binary()->`|()next

Method ADT.Relation.Binary()->`<=()

Method `<=

mixed `<=(object rel)

Description

The expression `rel1 <= rel2' returns true if every relation entry in rel1 is also present in rel2.