Searched refs:reflexive_transitive_closure (Results 1 – 3 of 3) sorted by relevance
57 reflexive_transitive_closure(unsigned *R, int n) in reflexive_transitive_closure() function
46 reflexive_transitive_closure(EFF, nvars); in set_EFF()
603 extern void reflexive_transitive_closure(unsigned *R, int n);