Mercurial > hg > Applications > Lite
view tmp.pl @ 15:816425e04ea7
fix true - omega interval satisfiability
author | kono |
---|---|
date | Sat, 20 Jan 2001 21:21:44 +0900 |
parents | 1c57a78f1d98 |
children |
line wrap: on
line source
tmp(( not(true& ?(^r,not(@ @ @ @empty),@ @ @ @empty)&true); ?(r^1, (not(true_false&true);not(r^2&true);not(r^1&true)), (not(true_false&true);not(r^2&true);r^2 & ^r,not(r^1&true))))).