- html_justification_tree(:Tree, +Options)// is det
- Convert the tree to HTML. The caller should use ovar_analyze_term/1
on Tree to name variables and identify singletons. This is not done
in this predicate as the user may or may not wish to combine the
variable analysis with the bindings and/or model. Options processed:
- pred(Boolean)
- When
false (default true), ignore user pred/1 rules.
- justify_nmr(Boolean)
- When
false (default true), do not omit a justification for
the global constraints.
- show(Format)
- One of
human, machine or both.
- source(Boolean)
- When
false (default true), do not omit source locations.