model.pl -- sCASP model handling

 canonical_model(:RawModel, -Canonical)

 filter_shown(+Module, +Model, -Shown) is det[private]

Handle the show/1 directives. All terms are shown for a target module if pr_show_predicate/1 is not defined for that module. Otherwise the terms associated with the module are filtered using pr_show_predicate/1.

 sort_model(+ModelIn, -Sorted) is det[private]

Sort the model by literal, getting affirming and denying knowledge about a literal together. If multiple terms about the same literal appear they are ordered:

1. positive
2. not(positive)
3. -positive
4. not(-positive).

 simplify_model(+ModelIn, -ModelOut) is det[private]

Remove model terms that are entailed by other model terms.

 unqualify_model(+ModelIn, +Module, -ModelOut) is det

Restore the model relation to modules.

 print_model(:Model, +Options) is det

Print the model in aligned columns. Options processed:

width(Width)

Assumed terminal width. Default from tty_size/2 or 80.

Model terms are printed in columns. E.g., for a 10 atom model and 4 columns we get:

   1  4  7  10
   2  5  8
   3  6  9