def find_mc_context_ids2(experiment_id, strat, mls): q = "SELECT DISTINCT(context_id) FROM contexts \ WHERE experiment_id = " + str(experiment_id) + " \ AND compiler = 'pmlc' \ AND max_leaf_size = " + str(mls) + " \ AND input LIKE '%" + strat[0] + "%'" return (get.detup(db.select_values(q)))
def find_mlton_context_ids(experiment_id, strat): q = "SELECT DISTINCT(context_id) FROM contexts \ WHERE experiment_id = " + str(experiment_id) + " \ AND compiler = 'mlton' \ AND input LIKE '%" + strat[0] + "%'" return (get.detup(db.select_values(q)))
def find_mc_context_ids3(experiment_id): q = "SELECT DISTINCT(context_id) FROM contexts \ WHERE experiment_id = " + str(experiment_id) + " \ AND compiler = 'pmlc'" return (get.detup(db.select_values(q)))