← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/projects/taspi/code/brlens/brlens.lisp

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/projects/taspi/code/brlens/brlens.lisp
6
6
;; equivalent tree with no brlens
7
7
(mutual-recursion
8
8
(defun remove-brlens (a)
9
 
  ":Doc-Section TASPI
10
 
   Returns the structurally unchanged tree now with no branch lengths.~/
11
 
   ~/
12
 
   Arguments:
13
 
     (1) a - a tree
14
 
 
15
 
   Details: If no branch lengths are initially present, no change results.
16
 
            Not all branches are required to have a length."
 
9
 
 
10
;;; Legacy doc string replaced Nov. 2014 by auto-generated defxdoc form;
 
11
;;; see projects/taspi/taspi-xdoc.lisp.
 
12
 
 
13
; ":Doc-Section TASPI
 
14
;  Returns the structurally unchanged tree now with no branch lengths.~/
 
15
;  ~/
 
16
;  Arguments:
 
17
;    (1) a - a tree
 
18
 
 
19
;  Details: If no branch lengths are initially present, no change results.
 
20
;           Not all branches are required to have a length."
17
21
  (declare (xargs :guard t))
18
22
  (if (consp a)
19
23
      (let ((first (remove-brlens (car a))))
29
33
    a))
30
34
 
31
35
(defun remove-brlens-list (a)
32
 
  ":Doc-Section TASPI
33
 
   Returns the structurally unchanged list of trees now with no branch lengths.~/
34
 
   ~/
35
 
   Arguments:
36
 
     (1) a - a list of trees
37
 
 
38
 
   Details: If no branch lengths are initially present, no change results.
39
 
            List can contain trees both with and without brlens."
 
36
 
 
37
;;; Legacy doc string replaced Nov. 2014 by auto-generated defxdoc form;
 
38
;;; see projects/taspi/taspi-xdoc.lisp.
 
39
 
 
40
; ":Doc-Section TASPI
 
41
;  Returns the structurally unchanged list of trees now with no branch lengths.~/
 
42
;  ~/
 
43
;  Arguments:
 
44
;    (1) a - a list of trees
 
45
 
 
46
;  Details: If no branch lengths are initially present, no change results.
 
47
;           List can contain trees both with and without brlens."
40
48
  (declare (xargs :guard t))
41
49
  (if (consp a)
42
50
      (if (null (cdr a))
137
145
 (equal-skip-brlens  '(a . 3) '((a . 4) . 2))
138
146
)
139
147
 
140
 
||#
 
 
b'\\ No newline at end of file'
 
148
||#