mnemosyne_op

Functions

---

start_op(Type, Args) -> term()

new_end_token(N) -> term()

bindings(NextPid, BCount, Bs) -> term()

funcall(NextPid, LeftSide, FunCall, Count) -> term()

erl_expr(NextPid, Expr) -> term()

split(NextPids, Count) -> term()

table(NextPid, P) -> term()

negation(NextPid, Count, HelpPid) -> term()

negation_help() -> term()

call_recursive_op(NextPid, Goal) -> term()

add_tid(Tid, PidL, EndC, NTid, Pid) -> term()

update_endc(TidL, EndC, X3) -> term()

get_from_table(Bs, F, Sols) -> term()

split_list(N, L) -> term()

View Functions

• start_op/2
• new_end_token/1
• bindings/3
• funcall/4
• erl_expr/2
• split/2
• table/2
• negation/3
• negation_help/0
• call_recursive_op/2
• add_tid/5
• update_endc/3
• get_from_table/3
• split_list/2