На данный момент присутствует верификация циклических зависимостей для длины 1 и 2.
Примеры:
foo(a,a);
foo(a,b); foo(b,a);Возможное решение:
Оптимальным способом поиска цикла любой длины является поиск в глубину в графе смежности, где рёбрами будут зависимости между ФД, образующиеся по ходу выполнения верификации.
На данный момент присутствует верификация циклических зависимостей для длины 1 и 2. Примеры:
foo(a,a);
foo(a,b); foo(b,a);
Возможное решение: Оптимальным способом поиска цикла любой длины является поиск в глубину в графе смежности, где рёбрами будут зависимости между ФД, образующиеся по ходу выполнения верификации.