Searched refs:rewrite_nboyer (Results 1 - 2 of 2) sorted by relevance
/external/v8/benchmarks/ |
H A D | earley-boyer.js | 3452 var rewrite_nboyer; variable 3604 rewrite_nboyer = function(term) { 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)))))))))); 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)))))))))); 3790 (answer = (tautologyp_nboyer((rewrite_nboyer(sc_term_21)), null, null))); 3603 rewrite_nboyer = function(term) { function
|
/external/webkit/SunSpider/tests/v8-v4/ |
H A D | v8-earley-boyer.js | 3446 var rewrite_nboyer; variable 3598 rewrite_nboyer = function(term) { 3610 (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 return (rewrite_nboyer((apply_subst_nboyer(unify_subst_nboyer, ((lst.car).cdr.cdr.car))))); 3626 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)))))))))); 3784 (answer = (tautologyp_nboyer((rewrite_nboyer(sc_term_21)), null, null))); 3597 rewrite_nboyer = function(term) { function
|
Completed in 51 milliseconds