mnemosyne_optimizer

Functions


phase1(ListOfGoalsLists, Pattern) -> term()

phase2(Opr0) -> term()

phase2_no_statistics(Opr1) -> term()

format_error(Msg) -> term()

View Functions