Lines Matching defs:all
23 ;; I now locally include the cone of influence book, which has all the
33 ;; hope). But this was done in Summer 2002 when all this was in flux.
98 ;; Why do I need an LTL formula, if all we are doing is bisimulation
202 ;; I think we can remove the all-evaluations-p from defun-sk to
205 (defun-sk all-evaluations-p (states vars)
230 (defun all-truthsp-label (label s vars)
234 (all-truthsp-label label s (rest vars)))))
236 (defun only-all-truths-p (states m vars)
238 (and (all-truthsp-label (label-of (first states) m) (first states) vars)
239 (only-all-truths-p (rest states) m vars))))
264 (all-evaluations-p (states m) (variables m))
266 (only-all-truths-p (states m) m (variables m))
353 ;; Now we create all the states of the model.
355 (defun create-all-evaluations (vars states)
357 (let ((rec-states (create-all-evaluations (cdr vars) states)))
428 (let* ((states (create-all-evaluations vars (list ())))
448 (defun find-all-variables-1-pass (vars equations)
451 (find-all-variables-1-pass (rest vars) equations))))
453 (defun find-all-variables (vars variables equations)
463 (let ((new-vars (set-union (find-all-variables-1-pass vars equations)
467 (find-all-variables new-vars variables equations))))))
469 (defun find-all-equations (vars equations eq-rec)
471 (find-all-equations (rest vars) equations
493 (find-all-variables
503 :equations (find-all-equations variables (equations C) ()))))