- show_cla(+Cla) is det
- View classification Cla in graphics using dot.
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- ds_cover(Arg1, Arg2, Arg3)
- parse_comma_list(Arg1, Arg2)
- parse_comma_list(Arg1, Arg2, Arg3)
- theory_to_cla(Arg1, Arg2)
- cla(Arg1, Arg2)
- show_theory_cla(Arg1)
- theory_sum_tokens(Arg1, Arg2)
- ds_theory_cover_with_constraint(Arg1, Arg2, Arg3, Arg4, Arg5)
- invertable_type_map(Arg1, Arg2, Arg3, Arg4)
- invertable_token_map(Arg1, Arg2, Arg3)
- invertable_token_map(Arg1, Arg2, Arg3, Arg4)