Lines Matching defs:cdr
536 function sc_Pair(car, cdr) {
538 this.cdr = cdr;
551 if (sc_isPair(current.cdr)) {
553 current = current.cdr;
554 } else if (current.cdr !== null) {
555 res += " . " + writeOrDisplay(current.cdr);
557 } else // current.cdr == null
582 return (comp(p1.car, p2.car) && comp(p1.cdr, p2.cdr));
586 (peephole (hole 2 "new sc_Pair(" car ", " cdr ")")))
588 function sc_cons(car, cdr) {
589 return new sc_Pair(car, cdr);
608 (peephole (postfix ".cdr")))
611 return p.cdr;
622 (peephole (hole 2 p ".cdr = " val)))
625 p.cdr = val;
633 (peephole (postfix ".cdr.car")))
635 function sc_cadr(p) { return p.cdr.car; }
637 (peephole (postfix ".car.cdr")))
639 function sc_cdar(p) { return p.car.cdr; }
641 (peephole (postfix ".cdr.cdr")))
643 function sc_cddr(p) { return p.cdr.cdr; }
649 (peephole (postfix ".car.cdr.car")))
651 function sc_cadar(p) { return p.car.cdr.car; }
653 (peephole (postfix ".cdr.car.car")))
655 function sc_caadr(p) { return p.cdr.car.car; }
657 (peephole (postfix ".cdr.cdr.car")))
659 function sc_caddr(p) { return p.cdr.cdr.car; }
661 (peephole (postfix ".car.car.cdr")))
663 function sc_cdaar(p) { return p.car.car.cdr; }
665 (peephole (postfix ".cdr.car.cdr")))
667 function sc_cdadr(p) { return p.cdr.car.cdr; }
669 (peephole (postfix ".car.cdr.cdr")))
671 function sc_cddar(p) { return p.car.cdr.cdr; }
673 (peephole (postfix ".cdr.cdr.cdr")))
675 function sc_cdddr(p) { return p.cdr.cdr.cdr; }
681 (peephole (postfix ".car.cdr.car.car")))
683 function sc_caadar(p) { return p.car.cdr.car.car; }
685 (peephole (postfix ".cdr.car.car.car")))
687 function sc_caaadr(p) { return p.cdr.car.car.car; }
689 (peephole (postfix ".cdr.cdr.car.car")))
691 function sc_caaddr(p) { return p.cdr.cdr.car.car; }
693 (peephole (postfix ".car.car.car.cdr")))
695 function sc_cdaaar(p) { return p.car.car.car.cdr; }
697 (peephole (postfix ".car.cdr.car.cdr")))
699 function sc_cdadar(p) { return p.car.cdr.car.cdr; }
701 (peephole (postfix ".cdr.car.car.cdr")))
703 function sc_cdaadr(p) { return p.cdr.car.car.cdr; }
705 (peephole (postfix ".cdr.cdr.car.cdr")))
707 function sc_cdaddr(p) { return p.cdr.cdr.car.cdr; }
709 (peephole (postfix ".car.car.cdr.car")))
711 function sc_cadaar(p) { return p.car.car.cdr.car; }
713 (peephole (postfix ".car.cdr.cdr.car")))
715 function sc_caddar(p) { return p.car.cdr.cdr.car; }
717 (peephole (postfix ".cdr.car.cdr.car")))
719 function sc_cadadr(p) { return p.cdr.car.cdr.car; }
721 (peephole (postfix ".cdr.cdr.cdr.car")))
723 cdr.cdr.cdr.car; }
725 (peephole (postfix ".car.car.cdr.cdr")))
727 function sc_cddaar(p) { return p.car.car.cdr.cdr; }
729 (peephole (postfix ".car.cdr.cdr.cdr")))
731 function sc_cdddar(p) { return p.car.cdr.cdr.cdr; }
733 (peephole (postfix ".cdr.car.cdr.cdr")))
735 function sc_cddadr(p) { return p.cdr.car.cdr.cdr; }
737 (peephole (postfix ".cdr.cdr.cdr.cdr")))
739 function sc_cddddr(p) { return p.cdr.cdr.cdr.cdr; }
745 var cdr = l.cdr;
746 while (sc_isPair(cdr)) {
747 res = cdr;
748 cdr = res.cdr;
772 (rabbit instanceof sc_Pair && rabbit.cdr === null))
775 (rabbit.cdr instanceof sc_Pair)) {
776 rabbit = rabbit.cdr.cdr;
777 turtle = turtle.cdr;
815 l = l.cdr;
822 var dummy = { cdr : null };
826 tail.cdr = sc_cons(l.car, null);
827 tail = tail.cdr;
829 l = l.cdr;
831 return dummy.cdr;
836 var dummy = { cdr : null };
844 tail.cdr = l;
849 l = l.cdr;
851 tail.cdr = null;
852 return dummy.cdr;
857 var dummy = { cdr : null };
861 tail.cdr = sc_cons(l.car, null);
862 tail = tail.cdr;
864 l = l.cdr;
866 return dummy.cdr;
871 var dummy = { cdr : null };
879 tail.cdr = l;
884 l = l.cdr;
886 tail.cdr = null;
887 return dummy.cdr;
895 l1 = l1.cdr;
896 res.cdr = tmp;
922 while (tmp.cdr !== null) tmp=tmp.cdr;
923 tmp.cdr = l2;
940 l1 = l1.cdr;
954 res = res.cdr;
969 l = l.cdr;
984 l = l.cdr;
993 l = l.cdr;
1002 l = l.cdr;
1012 al = al.cdr;
1026 al = al.cdr;
1035 al = al.cdr;
1044 al = al.cdr;
1336 l = l.cdr;
1427 l = l.cdr;
1495 l = l.cdr;
1511 arguments[i + 1] = arguments[i + 1].cdr;
1530 arguments[i + 1] = arguments[i + 1].cdr;
1547 arguments[i + 1] = arguments[i + 1].cdr;
1557 var dummy = { cdr : null };
1561 tail.cdr = sc_cons(l1.car, null);
1562 tail = tail.cdr;
1564 l1 = l1.cdr;
1566 return dummy.cdr;
1576 it.cdr = next
1579 next = next.cdr;
1581 it.cdr = null;
1582 return head.cdr;
1590 l1 = l1.cdr;
1599 l1 = l1.cdr;
1600 l2 = l2.cdr
1618 arguments[i + 1] = arguments[i + 1].cdr;
1632 l = l.cdr;
1651 l = l.cdr;
2449 var cdr = this.read();
2455 return sc_reverseAppendBang(res, cdr);
2896 sc_prepWriteCircle(o.cdr, symb, nbPointer);
2946 if (sc_isPair(this.cdr)) {
2947 res += " " + this.cdr.sc_toWriteCircleString(symb, true);
2948 } else if (this.cdr !== null) {
2949 res += " . " + sc_genToWriteCircleString(this.cdr, symb);
3513 return (!(term instanceof sc_Pair)?term:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((term.car))), ((lst = (term.cdr)), ((lst === null)?null:(new sc_Pair((translate_term_nboyer((lst.car))), (translate_args_nboyer((lst.cdr))))))))));
3518 return ((lst === null)?null:(new sc_Pair(((term = (lst.car)), (!(term instanceof sc_Pair)?term:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((term.car))), (translate_args_nboyer((term.cdr))))))), ((sc_lst_5 = (lst.cdr)), ((sc_lst_5 === null)?null:(new sc_Pair((translate_term_nboyer((sc_lst_5.car))), (translate_args_nboyer((sc_lst_5.cdr))))))))));
3531 (L1127 = (term.cdr));
3535 (tail1131.cdr = (new sc_Pair((untranslate_term_nboyer((L1127.car))), null)));
3536 (tail1131 = (tail1131.cdr));
3537 (L1127 = (L1127.cdr));
3540 (optrOpnd = (falseHead1130.cdr));
3547 return ((x = (sc_assq(sym, BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer))), ((x!== false)?(x.cdr):((r = [sym, null]), (BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer = (new sc_Pair((new sc_Pair(sym, r)), BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer))), r)));
3553 return ((alist === null)?null:(new sc_Pair((new sc_Pair((alist.car.car), ((term = (alist.car.cdr)), (!(term instanceof sc_Pair)?term:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((term.car))), (translate_args_nboyer((term.cdr))))))))), ((sc_alist_6 = (alist.cdr)), ((sc_alist_6 === null)?null:(new sc_Pair((new sc_Pair((sc_alist_6.car.car), (translate_term_nboyer((sc_alist_6.car.cdr))))), (translate_alist_nboyer((sc_alist_6.cdr))))))))));
3558 return (!(term instanceof sc_Pair)?((temp_temp = (sc_assq(term, alist))), ((temp_temp!== false)?(temp_temp.cdr):term)):(new sc_Pair((term.car), ((lst = (term.cdr)), ((lst === null)?null:(new sc_Pair((apply_subst_nboyer(alist, (lst.car))), (apply_subst_lst_nboyer(alist, (lst.cdr))))))))));
3562 return ((lst === null)?null:(new sc_Pair((apply_subst_nboyer(alist, (lst.car))), ((sc_lst_7 = (lst.cdr)), ((sc_lst_7 === null)?null:(new sc_Pair((apply_subst_nboyer(alist, (sc_lst_7.car))), (apply_subst_lst_nboyer(alist, (sc_lst_7.cdr))))))))));
3585 if ((((sc_x_8 = (sc_x_11.cdr.car)), (tmp1126 = (is_term_equal_nboyer(sc_x_8, true_term_nboyer))), ((tmp1126!== false)?tmp1126:(is_term_member_nboyer(sc_x_8, true_lst))))!== false))
3586 (sc_x_11 = (sc_x_11.cdr.cdr.car));
3588 if ((((x = (sc_x_11.cdr.car)), (tmp1125 = (is_term_equal_nboyer(x, false_term_nboyer))), ((tmp1125!== false)?tmp1125:(is_term_member_nboyer(x, false_lst))))!== false))
3589 (sc_x_11 = (sc_x_11.cdr.cdr.cdr.car));
3591 if (((tautologyp_nboyer((sc_x_11.cdr.cdr.car), (new sc_Pair((sc_x_11.cdr.car), true_lst)), false_lst))!== false))
3593 (false_lst = (new sc_Pair((sc_x_11.cdr.car), false_lst)));
3594 (sc_x_11 = (sc_x_11.cdr.cdr.cdr.car));
3616 (sc_term_12 = (new sc_Pair((term.car), ((sc_lst_13 = (term.cdr)), ((sc_lst_13 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_13.car))), (rewrite_args_nboyer((sc_lst_13.cdr))))))))));
3622 if ((((term2 = ((lst.car).cdr.car)), (unify_subst_nboyer = null), (one_way_unify1_nboyer(sc_term_12, term2)))!== false))
3623 return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car)))));
3625 (lst = (lst.cdr));
3632 return ((lst === null)?null:(new sc_Pair((rewrite_nboyer((lst.car))), ((sc_lst_14 = (lst.cdr)), ((sc_lst_14 === null)?null:(new sc_Pair((rewrite_nboyer((sc_lst_14.car))), (rewrite_args_nboyer((sc_lst_14.cdr))))))))));
3643 return (is_term_equal_nboyer(term1, (temp_temp.cdr)));
3659 (lst1 = (term1.cdr));
3660 (lst2 = (term2.cdr));
3670 (lst1 = (lst1.cdr));
3671 (lst2 = (lst2.cdr));
3695 (lst1 = (x.cdr));
3696 (lst2 = (y.cdr));
3706 (lst1 = (lst1.cdr));
3707 (lst2 = (lst2.cdr));
3730 (lst = (lst.cdr));
3746 (false_term_nboyer = ((sc_term_19 = (new sc_Pair("\u1E9Cf",null))), (!(sc_term_19 instanceof sc_Pair)?sc_term_19:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((sc_term_19.car))), (translate_args_nboyer((sc_term_19.cdr))))))));
3747 (true_term_nboyer = ((sc_term_18 = (new sc_Pair("\u1E9Ct",null))), (!(sc_term_18 instanceof sc_Pair)?sc_term_18:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((sc_term_18.car))), (translate_args_nboyer((sc_term_18.cdr))))))));
3752 if (((term instanceof sc_Pair)&&(((term.car)==="\u1E9Cequal")&&((term.cdr.car) instanceof sc_Pair))))
3754 (sc_sym_17 = ((term.cdr.car).car));
3755 (value = (new sc_Pair((!(term instanceof sc_Pair)?term:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((term.car))), (translate_args_nboyer((term.cdr)))))), ((sym = ((term.cdr.car).car)), (BgL_sc_symbolzd2record_16zd2 = (BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer(sym))), (BgL_sc_symbolzd2record_16zd2[(1)])))));
3761 (lst = (lst.cdr));
3788 (optrOpnd = (new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((sc_term_22.car))), (translate_args_nboyer((sc_term_22.cdr))))));
3789 (sc_term_21 = (apply_subst_nboyer(((const_nboyer === null)?null:(new sc_Pair((new sc_Pair((const_nboyer.car.car), (translate_term_nboyer((const_nboyer.car.cdr))))), (translate_alist_nboyer((const_nboyer.cdr)))))), optrOpnd)));
3868 (l = (l.cdr));
3872 return (rule_loop((rules.cdr), sc_nts_13));
3875 return (BgL_sc_defzd2loop_9zd2((defs.cdr), sc_nts_12));
3876 }), (rule_loop((def.cdr), (((sc_member(head, sc_nts_11))!== false)?sc_nts_11:(new sc_Pair(head, sc_nts_11)))))):(sc_list2vector((sc_reverse(sc_nts_11)))));
3893 (l = (l.cdr));
3897 return (rule_loop((rules.cdr), (BgL_sc_nbzd2confs_16zd2+(1))));
3900 return (BgL_sc_defzd2loop_6zd2((defs.cdr), BgL_sc_nbzd2confs_15zd2));
3901 }), (rule_loop((def.cdr), BgL_sc_nbzd2confs_14zd2))):BgL_sc_nbzd2confs_14zd2);
3950 (l = (l.cdr));
3957 return (rule_loop((rules.cdr), (sc_conf_18+(1)), (rule_num+(1))));
3960 return (def_loop((defs.cdr), conf));
3961 }), (rule_loop((def.cdr), conf, (1)))):undefined);
4083 (l1 = (l1.cdr));
4086 (l1 = (l1.cdr));
4159 (sc_l_74 = (sc_l_74.cdr));
4162 (sc_l_74 = (sc_l_74.cdr));
4174 (l = (l.cdr));
4177 (l = (l.cdr));
4211 return (sc_loop1_75((l.cdr)));
4244 (l = (l.cdr));
4298 (l4 = (l4.cdr));
4301 return (loop3((l3.cdr), sc_l2_100));
4311 return (sc_loop1_98((l1.cdr), l2));
4317 (l1 = (l1.cdr));
4344 (l = (l.cdr));
4348 (l = (l.cdr));
4393 return (sc_loop1_116((l.cdr), n));
4396 (l = (l.cdr));
4423 (l = (l.cdr));
4427 (l = (l.cdr));
4449 (l1 = (tok.cdr));
4456 (l1 = (l1.cdr));
4460 (l1 = (l1.cdr));
4465 (tail1129.cdr = sc_optrOpnd_21);
4466 (tail1129 = (tail1129.cdr));
4467 (L1125 = (L1125.cdr));
4470 (sc_optrOpnd_20 = (falseHead1128.cdr));
4481 (tok_nts = ((sc_toks_36[sc_i_28]).cdr));
4497 (l = (l.cdr));
4562 return (sc_loop1_127((l.cdr)));
4565 (l = (l.cdr));
4632 (tail1134.cdr = (new sc_Pair(((sc_x_134 = (L1130.car)), (sc_list(sc_x_134, sc_x_134))), null)));
4633 (tail1134 = (tail1134.cdr));
4634 (L1130 = (L1130.cdr));
4637 return (falseHead1133.cdr);
