mnemosyne_optimizer
Functions
phase1(ListOfGoalsLists, Pattern) -> term()
phase2(Opr0) -> term()
phase2_no_statistics(Opr1) -> term()
format_error(Msg) -> term()
View Functions
phase1/2
phase2/1
phase2_no_statistics/1
format_error/1