PHP acker Examples

Example #1

File: acker_dats.php Project: smurphy8/ATS-Postiats-contrib

function acker($arg0, $arg1)
{
    /*
      // $apy0
      // $apy1
      // $tmpret0
      // $tmp1
      // $tmp2
      // $tmp3
      // $tmp4
    */
    __patsflab_acker:
    // ATScaseofseq_beg
    do {
        // ATSbranchseq_beg
        __atstmplab0:
        if (!ATSCKpat_int($arg0, 0)) {
            goto __atstmplab2;
        }
        __atstmplab1:
        $tmpret0 = ats2phppre_add_int0_int0($arg1, 1);
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab2:
        if (!ATSCKpat_int($arg1, 0)) {
            goto __atstmplab4;
        }
        __atstmplab3:
        $tmp1 = ats2phppre_sub_int0_int0($arg0, 1);
        // ATStailcalseq_beg
        $apy0 = $tmp1;
        $apy1 = 1;
        $arg0 = $apy0;
        $arg1 = $apy1;
        goto __patsflab_acker;
        // ATStailcalseq_end
        break;
        // ATSbranchseq_end
        // ATSbranchseq_beg
        __atstmplab4:
        $tmp2 = ats2phppre_sub_int0_int0($arg0, 1);
        $tmp4 = ats2phppre_sub_int0_int0($arg1, 1);
        $tmp3 = acker($arg0, $tmp4);
        // ATStailcalseq_beg
        $apy0 = $tmp2;
        $apy1 = $tmp3;
        $arg0 = $apy0;
        $arg1 = $apy1;
        goto __patsflab_acker;
        // ATStailcalseq_end
        break;
        // ATSbranchseq_end
    } while (0);
    // ATScaseofseq_end
    return $tmpret0;
}

Example #2

File: mytestall.php Project: smurphy8/ATS-Postiats-contrib

require './libatscc2php/DATS/reference_dats.php';
//
echo "fact(10) = ";
echo fact(10);
echo "\n";
flush();
echo "fact2(10) = ";
echo fact2(10);
echo "\n";
flush();
echo "fibats(20) = ";
echo fibats(20);
echo "\n";
flush();
echo "acker(3, 3) = ";
echo acker(3, 3);
echo "\n";
flush();
echo "isevn(1000) = ";
echo isevn(1000);
echo "\n";
flush();
echo "isodd(1001) = ";
echo isodd(1001);
echo "\n";
flush();
//
multable_test();
//
twice_test();
rtfind_test();

Example #3

File: mytest_process.php Project: smurphy8/ATS-Postiats-contrib

$fact_arg = intval($_REQUEST["fact_arg"]);
$fibats_arg = intval($_REQUEST["fibats_arg"]);
$acker_arg1 = intval($_REQUEST["acker_arg1"]);
$acker_arg2 = intval($_REQUEST["acker_arg2"]);
//
echo "<p>Your order has been fulfilled as follows:";
echo "<br>";
echo "<br>";
//
echo "fact({$fact_arg}) = ", fact($fact_arg);
echo "<br>";
echo "<br>";
//
echo "fibats({$fibats_arg}) = ", fibats($fibats_arg);
echo "<br>";
echo "<br>";
//
echo "acker({$acker_arg1}, {$acker_arg2}) = ", acker($acker_arg1, $acker_arg2);
echo "<br>";
//
echo "<hr>";
//
echo "<p>Your order is processed at ";
echo date("H:i, F jS, Y");
echo "<br>";
//
?>

</body>
</html>