Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit2119cc0

Browse files
committed
Further improvements in cnfify: reduce amount of self-recursion
in or_normalize, remove detection of duplicate subexpressions (since it'shighly unlikely to be worth the amount of time it takes), and introducea dnfify() entry point so that unintelligible backwards logic in UNIONprocessing can be eliminated. This is just an intermediate step ---next thing is to look at not forcing the qual into CNF form when it wouldbe better off in DNF form.
1 parent4644fc8 commit2119cc0

File tree

2 files changed

+384
-334
lines changed

2 files changed

+384
-334
lines changed

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp