mnemosyne_exec
Functions
setup_collector_and_query(OptQuery) -> term()
init_query(X1, N) -> term()
get_answers(X1, Nmin, Nmax) -> term()
kill_processes(X1) -> term()
start_simple_loop1(Self, Bs, Code, Spec) -> term()
start_simple_loop2(Self, Solutions, Spec) -> term()
start_complicated_loop(Self, OptQuery, Spec) -> term()
setup(Cs, NextPid) -> term()