Add some inspecting codes for debug matching problems.
tswd
8 years ago
| 389 | 389 | |
| 390 | 390 | ;;; x = term |
| 391 | 391 | ;;; y = ((term . eqn-num) ... ) |
| 392 | ;;; #|| | |
| 392 | #|| | |
| 393 | 393 | (defun delete-one-term (x y) |
| 394 | 394 | (block exit |
| 395 | 395 | (if (null y) |
| 437 | 437 | (return y)) |
| 438 | 438 | (setq last rest rest (cdr rest))))))) |
| 439 | 439 | )) |
| 440 | ||
| 441 | #|| | |
| 440 | ||# | |
| 441 | ||
| 442 | 442 | (defun delete-one-term |
| 443 | 443 | (x y) |
| 444 | 444 | (if (null y) |
| 455 | 455 | (setq last rest rest (cdr rest)))) |
| 456 | 456 | )) |
| 457 | 457 | ) |
| 458 | ||# | |
| 459 | 458 | |
| 460 | 459 | (defvar *ac-failure-eq* nil) |
| 461 | 460 | |
| 59 | 59 | (type list sys) |
| 60 | 60 | (values (or null t) (or null t))) |
| 61 | 61 | (block no-match |
| 62 | (with-match-debug () | |
| 63 | (format t "~%[empty initialize]-----------~%") | |
| 64 | (print-match-equations (m-system-to-list sys))) | |
| 62 | 65 | (dolist (equation (m-system-to-list sys)) |
| 63 | 66 | (let ((lhs (equation-t1 equation)) |
| 64 | 67 | (rhs (equation-t2 equation))) |