Python callCompiled Examples

Example #1

File: rb_pypy_util.py Project: yichao-l/neural_sketch

def rb_pypy_enumerate(tp,
                      IO,
                      mdl,
                      sketchtups,
                      n_checked,
                      n_hit,
                      t,
                      max_to_check,
                      test_generalization,
                      n_rec_examples,
                      input_noise=False):
    return callCompiled(rb_enumerate,
                        tp,
                        IO,
                        mdl,
                        sketchtups,
                        n_checked,
                        n_hit,
                        t,
                        max_to_check,
                        test_generalization,
                        n_rec_examples,
                        input_noise=input_noise)

Example #2

def pypy_enumerate(tp, IO, schema_args, mdl, sketchtups, n_checked, n_hit, t,
                   max_to_check):
    return callCompiled(algolisp_enumerate, tp, IO, schema_args, mdl,
                        sketchtups, n_checked, n_hit, t, max_to_check)

Example #3

def pypy_enumerate(tp, IO, mdl, sketchtups, n_checked, n_hit, t, max_to_check):
    return callCompiled(regex_enumerate, tp, IO, mdl, sketchtups, n_checked,
                        n_hit, t, max_to_check)

Example #4

File: test_callCompiled.py Project: yichao-l/neural_sketch

#test callCompiled
import sys
import os
sys.path.append(os.path.abspath('./'))
sys.path.append(os.path.abspath('./ec'))

from utilities import callCompiled, eprint

from fun import f

x = 6
ans = callCompiled(f, x)

eprint(ans)

Example #5

def rb_pypy_enumerate(g, tp, IO, mdl, sketches, n_checked, n_hit, t,
                      max_to_check, test_generalization, n_rec_examples):
    return callCompiled(rb_enumerate, g, tp, IO, mdl, sketches, n_checked,
                        n_hit, t, max_to_check, test_generalization,
                        n_rec_examples)

Example #6

def pypy_enumerate(g, tp, IO, mdl, sketches, n_checked, n_hit, t,
                   max_to_check):
    return callCompiled(dc_enumerate, g, tp, IO, mdl, sketches, n_checked,
                        n_hit, t, max_to_check)