Searched refs:lst1 (Results 1 – 5 of 5) sorted by relevance
424 list<int> lst1; in swap() local427 lst1.push_back(1); in swap()430 lst1.swap( lst2 ); in swap()432 CPPUNIT_CHECK( lst1.front() == 2 ); in swap()434 CPPUNIT_CHECK( lst1.size() == 1 ); in swap()437 lst1.pop_front(); in swap()440 CPPUNIT_CHECK( lst1.empty() ); in swap()
3630 var lst1;3653 (lst1 = (term1.cdr));3656 if ((lst1 === null))3662 if (((one_way_unify1_nboyer((lst1.car), (lst2.car)))!== false))3664 (lst1 = (lst1.cdr));3681 var lst1;3689 (lst1 = (x.cdr));3692 if ((lst1 === null))3698 if (((is_term_equal_nboyer((lst1.car), (lst2.car)))!== false))3700 (lst1 = (lst1.cdr));
3636 var lst1;3659 (lst1 = (term1.cdr));3662 if ((lst1 === null))3668 if (((one_way_unify1_nboyer((lst1.car), (lst2.car)))!== false))3670 (lst1 = (lst1.cdr));3687 var lst1;3695 (lst1 = (x.cdr));3698 if ((lst1 === null))3704 if (((is_term_equal_nboyer((lst1.car), (lst2.car)))!== false))3706 (lst1 = (lst1.cdr));