Searched refs:has_equal_tuples (Results 1 – 3 of 3) sorted by relevance
142 assert(!Result || Result.get_space().has_equal_tuples(ExpectedSpace)); in singleton()155 assert(!Result || Result.get_space().has_equal_tuples(ExpectedSpace)); in singleton()
1073 assert(OriginalDomainSpace.has_equal_tuples(NewDomainSpace)); in setNewAccessRelation()
2893 inline boolean has_equal_tuples(const space &space2) const;15790 boolean space::has_equal_tuples(const space &space2) const in has_equal_tuples() function