def make_grammar_info(dset_name):
queue = get_queue()
queue.put(json.dumps({
'request': 'calculate',
'func': 'make_grammar_info',
'args': (dset_name, get_username())
}))
def calculate_entailments(dset_name):
queue = get_queue()
queue.put(json.dumps({
'request': 'calculate',
'func': 'calculate_entailments',
'args': (dset_name, get_username())
}))
def calculate_grammars_and_statistics(dset_name, sort_value):
queue = get_queue()
classical, page, sort_by = get_url_args()
queue.put(json.dumps({
'request': 'calculate',
'func': 'calculate_grammars_and_statistics',
'args': (dset_name, sort_value, classical,
page, get_username(), sort_by)
}))
