Lines Matching refs:car
536 function sc_Pair(car, cdr) {
537 this.car = car;
550 res += writeOrDisplay(current.car);
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);
601 (peephole (postfix ".car")))
604 return p.car;
615 (peephole (hole 2 p ".car = " val)))
618 p.car = val;
629 (peephole (postfix ".car.car")))
631 function sc_caar(p) { return p.car.car; }
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; }
645 (peephole (postfix ".car.car.car")))
647 function sc_caaar(p) { return p.car.car.car; }
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; }
677 (peephole (postfix ".car.car.car.car")))
679 function sc_caaaar(p) { return p.car.car.car.car; }
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 function sc_cadddr(p) { return p.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; }
825 if (l.car !== o) {
826 tail.cdr = sc_cons(l.car, null);
840 if (l.car === o) {
860 if (!sc_isEqual(l.car, o)) {
861 tail.cdr = sc_cons(l.car, null);
875 if (sc_isEqual(l.car, o)) {
939 res = sc_cons(l1.car, res);
961 return sc_listTail(l, k).car;
967 if (comp(l.car, o))
982 if (l.car === o)
991 if (l.car === o)
1000 if (sc_isEqual(l.car,o))
1010 if (comp(al.car.car, o))
1011 return al.car;
1024 if (al.car.car === o)
1025 return al.car;
1033 if (al.car.car === o)
1034 return al.car;
1042 if (sc_isEqual(al.car.car, o))
1043 return al.car;
1335 a.push(l.car.val);
1426 a.push(l.car);
1494 args.push(l.car);
1510 applyArgs[i] = arguments[i + 1].car;
1529 applyArgs[i] = arguments[i + 1].car;
1532 tmp.car = proc.apply(null, applyArgs);
1546 applyArgs[i] = arguments[i + 1].car;
1560 if (proc(l1.car) !== false) {
1561 tail.cdr = sc_cons(l1.car, null);
1575 if (proc(next.car) !== false) {
1588 var tmp = proc(l1.car)
1597 var tmp = proc(l1.car, l2.car);
1617 applyArgs[i] = arguments[i + 1].car;
1630 var tmp = proc(l.car);
1649 tmp = proc(l.car);
2895 sc_prepWriteCircle(o.car, symb, nbPointer);
2943 // print car
2944 res += sc_genToWriteCircleString(this.car, symb);
3474 return ((n = ((args === null)?(0):(args.car))), (BgL_setupzd2boyerzd2()), (BgL_runzd2benchmarkzd2(("nboyer"+(sc_number2string(n))), (1), function() {
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))))))))));
3535 (tail1131.cdr = (new sc_Pair((untranslate_term_nboyer((L1127.car))), null)));
3541 return (new sc_Pair(((symbol_record = (term.car)), (symbol_record[(0)])), optrOpnd));
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))))))))));
3584 if (((sc_x_11.car)===if_constructor_nboyer))
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))))))))));
3617 (lst = ((symbol_record = (term.car)), (symbol_record[(1)])));
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)))));
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))))))))));
3657 if (((term1.car)===(term2.car)))
3668 if (((one_way_unify1_nboyer((lst1.car), (lst2.car)))!== false))
3693 if ((((r1 = (x.car)), (r2 = (y.car)), (r1===r2))!== false))
3704 if (((is_term_equal_nboyer((lst1.car), (lst2.car)))!== false))
3727 if (((is_term_equal_nboyer(x, (lst.car)))!== false))
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))))))));
3751 (term = (lst.car));
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)])))));
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)));
3855 return ((defs instanceof sc_Pair)?((def = (defs.car)), (head = (def.car)), (rule_loop = function(rules, sc_nts_12) {
3862 (rule = (rules.car));
3867 (nt = (l.car));
3882 return ((defs instanceof sc_Pair)?((def = (defs.car)), (rule_loop = function(rules, BgL_sc_nbzd2confs_15zd2) {
3888 (rule = (rules.car));
3928 return ((defs instanceof sc_Pair)?((def = (defs.car)), (head = (def.car)), (rule_loop = function(rules, conf, rule_num) {
3938 (rule = (rules.car));
3946 (nt = (l.car));
4078 (sc_conf_59 = (l1.car));
4154 (starter = (sc_l_74.car));
4168 (ender = (l.car));
4197 (pred = (l.car));
4240 (sc_conf_89 = (l.car));
4258 return ((name = (sc_names_94[sc_conf_91])), ((name!== false)?((sc_conf_91<BgL_sc_nbzd2nts_97zd2)?(sc_list((sc_list(name, ((sc_toks_95[i]).car))))):(sc_list((sc_list(name))))):((prev = (sc_conf_91-(1))), (sc_loop1_98 = function(l1, l2) {
4268 (ender = (l1.car));
4292 (ender_tree = (sc_list((l3.car))));
4297 (sc_l2_100 = (new sc_Pair((sc_append((l4.car), ender_tree)), sc_l2_100)));
4341 (sc_conf_107 = (l.car));
4376 (ender = (l.car));
4420 (sc_conf_124 = (l.car));
4448 (tok = (L1125.car));
4453 (sc_i_29 = (sc_ind_43((l1.car), sc_nts_42)));
4463 (sc_optrOpnd_22 = (new sc_Pair((tok.car), (sc_reverse(l2)))));
4495 (conf = (l.car));
4549 (ender = (l.car));
4632 (tail1134.cdr = (new sc_Pair(((sc_x_134 = (L1130.car)), (sc_list(sc_x_134, sc_x_134))), null)));
4647 return ((k = ((args === null)?(7):(args.car))), (BgL_runzd2benchmarkzd2("earley", (1), function() {