Searched refs:relation_transitive (Results 1 – 2 of 2) sorted by relevance
184 relation_transitive (relation_kind r1, relation_kind r2) in relation_transitive() function692 k = relation_transitive (kind (), rel.kind ()); in apply_transitive()705 k = relation_transitive (relation_swap (kind ()), rel.kind ()); in apply_transitive()719 k = relation_transitive (kind (), relation_swap (rel.kind ())); in apply_transitive()732 k = relation_transitive (relation_swap (kind ()), in apply_transitive()
15852 (relation_transitive): New.