Closed dynaryu closed 7 months ago
get_compat_rules2 에서
line 6: r(x) < d(x) 가 아니라 r(x) >= d(x) 아닌가요? 마찬가지로 line 12의 경우 r(x) <= u(x) 일 거라고 생각합니다.
발견 감사합니다! 부호의 방향 본문에 정정하였습니다. 반면 등호는 없는 것이 맞습니다. 이미 만족된 조건은 제하는 것이 목적이기 때문에 lower (upper) bound가 survival (failure) 조건과 같으면 이미 만족된 조건이라 고려하지 않는 방식입니다.
get_compat_rules2 에서
line 6: r(x) < d(x) 가 아니라 r(x) >= d(x) 아닌가요? 마찬가지로 line 12의 경우 r(x) <= u(x) 일 거라고 생각합니다.