Lines Matching refs:sc_Pair
536 function sc_Pair(car, cdr) { function
541 sc_Pair.prototype.toString = function() { class
544 sc_Pair.prototype.sc_toWriteOrDisplayString = function(writeOrDisplay) {
565 sc_Pair.prototype.sc_toDisplayString = function() {
568 sc_Pair.prototype.sc_toWriteString = function() {
578 return (p instanceof sc_Pair);
589 return new sc_Pair(car, cdr);
596 res = new sc_Pair(arguments[i], res);
772 (rabbit instanceof sc_Pair && rabbit.cdr === null))
774 else if ((rabbit instanceof sc_Pair) &&
775 (rabbit.cdr instanceof sc_Pair)) {
789 res = new sc_Pair(a[i], res);
798 res = new sc_Pair(i + init, res);
806 res = new sc_Pair(fill, res);
2884 if (o instanceof sc_Pair ||
2894 if (o instanceof sc_Pair) {
2905 if (!(o instanceof sc_Pair ||
2910 sc_Pair.prototype.sc_toWriteCircleString = function(symb, inList) {
3465 …sc_Pair("\u1E9Cimplies",(new sc_Pair((new sc_Pair("\u1E9Cand",(new sc_Pair((new sc_Pair("\u1E9Cimp…
3466 …sc_Pair("\u1E9Cequal",(new sc_Pair((new sc_Pair("\u1E9Ccompile",(new sc_Pair("\u1E9Cform",null))))…
3467 …sc_Pair((new sc_Pair("\u1E9Cx",(new sc_Pair("\u1E9Cf",(new sc_Pair((new sc_Pair("\u1E9Cplus",(new …
3513 …ceof sc_Pair)?term:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((term.car))), ((ls…
3518 …sc_Pair(((term = (lst.car)), (!(term instanceof sc_Pair)?term:(new sc_Pair((BgL_sc_symbolzd2ze3sym…
3526 if (!(term instanceof sc_Pair))
3530 (falseHead1130 = (new sc_Pair(null, null)));
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));
3547 …null]), (BgL_sc_za2symbolzd2recordszd2alistza2_2z00_nboyer = (new sc_Pair((new sc_Pair(sym, r)), B…
3553 …sc_Pair((new sc_Pair((alist.car.car), ((term = (alist.car.cdr)), (!(term instanceof sc_Pair)?term:…
3558 …sc_Pair)?((temp_temp = (sc_assq(term, alist))), ((temp_temp!== false)?(temp_temp.cdr):term)):(new …
3562 … === null)?null:(new sc_Pair((apply_subst_nboyer(alist, (lst.car))), ((sc_lst_7 = (lst.cdr)), ((sc…
3581 if (!(sc_x_11 instanceof sc_Pair))
3591 …if (((tautologyp_nboyer((sc_x_11.cdr.cdr.car), (new sc_Pair((sc_x_11.cdr.car), true_lst)), false_l…
3593 … (false_lst = (new sc_Pair((sc_x_11.cdr.car), false_lst)));
3612 if (!(term instanceof sc_Pair))
3616 …(sc_term_12 = (new sc_Pair((term.car), ((sc_lst_13 = (term.cdr)), ((sc_lst_13 === null)?null:(new …
3632 …(lst === null)?null:(new sc_Pair((rewrite_nboyer((lst.car))), ((sc_lst_14 = (lst.cdr)), ((sc_lst_1…
3639 if (!(term2 instanceof sc_Pair))
3649 … (unify_subst_nboyer = (new sc_Pair((new sc_Pair(term2, term1)), unify_subst_nboyer)));
3654 if (!(term1 instanceof sc_Pair))
3691 if ((x instanceof sc_Pair))
3692 if ((y instanceof sc_Pair))
3746 …term_nboyer = ((sc_term_19 = (new sc_Pair("\u1E9Cf",null))), (!(sc_term_19 instanceof sc_Pair)?sc_…
3747 …term_nboyer = ((sc_term_18 = (new sc_Pair("\u1E9Ct",null))), (!(sc_term_18 instanceof sc_Pair)?sc_…
3752 …if (((term instanceof sc_Pair)&&(((term.car)==="\u1E9Cequal")&&((term.cdr.car) instanceof sc_Pair)…
3755 …(value = (new sc_Pair((!(term instanceof sc_Pair)?term:(new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2r…
3780 (term = (sc_list("\u1E9Cor", term, (new sc_Pair("\u1E9Cf",null)))));
3785 if (!(sc_term_22 instanceof sc_Pair))
3788 …(optrOpnd = (new sc_Pair((BgL_sc_symbolzd2ze3symbolzd2record_1ze3_nboyer((sc_term_22.car))), (tran…
3789 …_term_21 = (apply_subst_nboyer(((const_nboyer === null)?null:(new sc_Pair((new sc_Pair((const_nboy…
3812 …_earley = (new sc_Pair((new sc_Pair("\u1E9Cs",(new sc_Pair((new sc_Pair("\u1E9Ca",null)),(new sc_P…
3855 …return ((defs instanceof sc_Pair)?((def = (defs.car)), (head = (def.car)), (rule_loop = function(r…
3860 if ((rules instanceof sc_Pair))
3865 while ((l instanceof sc_Pair)) {
3869 … (sc_nts_13 = (((sc_member(nt, sc_nts_13))!== false)?sc_nts_13:(new sc_Pair(nt, sc_nts_13))));
3876 …_loop((def.cdr), (((sc_member(head, sc_nts_11))!== false)?sc_nts_11:(new sc_Pair(head, sc_nts_11))…
3882 …return ((defs instanceof sc_Pair)?((def = (defs.car)), (rule_loop = function(rules, BgL_sc_nbzd2co…
3886 if ((rules instanceof sc_Pair))
3891 while ((l instanceof sc_Pair)) {
3928 …return ((defs instanceof sc_Pair)?((def = (defs.car)), (head = (def.car)), (rule_loop = function(r…
3936 if ((rules instanceof sc_Pair))
3941 (starters[sc_i_19] = (new sc_Pair(conf, (starters[sc_i_19]))));
3944 while ((l instanceof sc_Pair)) {
3949 … (predictors[sc_i_17] = (new sc_Pair(sc_conf_18, (predictors[sc_i_17]))));
3956 (enders[i] = (new sc_Pair(sc_conf_18, (enders[i]))));
4076 while ((l1 instanceof sc_Pair)) {
4152 while ((sc_l_74 instanceof sc_Pair)) {
4166 while ((l instanceof sc_Pair)) {
4195 if ((l instanceof sc_Pair))
4238 if ((l instanceof sc_Pair))
4266 if ((l1 instanceof sc_Pair))
4290 if ((l3 instanceof sc_Pair))
4295 … while ((l4 instanceof sc_Pair)) {
4297 … (sc_l2_100 = (new sc_Pair((sc_append((l4.car), ender_tree)), sc_l2_100)));
4339 while ((l instanceof sc_Pair)) {
4374 if ((l instanceof sc_Pair))
4418 while ((l instanceof sc_Pair)) {
4443 (falseHead1128 = (new sc_Pair(null, null)));
4451 while ((l1 instanceof sc_Pair)) {
4457 (l2 = (new sc_Pair(sc_i_29, l2)));
4463 (sc_optrOpnd_22 = (new sc_Pair((tok.car), (sc_reverse(l2)))));
4464 (sc_optrOpnd_21 = (new sc_Pair(sc_optrOpnd_22, null)));
4493 while ((l instanceof sc_Pair)) {
4547 if ((l instanceof sc_Pair))
4627 (falseHead1133 = (new sc_Pair(null, null)));
4632 … (tail1134.cdr = (new sc_Pair(((sc_x_134 = (L1130.car)), (sc_list(sc_x_134, sc_x_134))), null)));