listing.pl
- scasp_portray_program(:Options)
- Output pretty print of the program + dual rules + nmr-checks.
Options:
- human(Boolean)
- If
true, write in human format.
- query(Boolean)
- Print the query (default
true)
- user(Boolean)
- Print the user program (default
true)
- duals(Boolean)
- Print the duals (default
false)
- constraints(Boolean)
- Print the global constraints (default
false)
- dcc(Boolean)
- Print the DCC rules (default
false)
- write_program(+Detail)
- Set defaults for the above to handle the
--code commandline
option.
- source_module(+Module)
- Module used for unqualifying terms, Note that scasp_show/2
prepares a temporary module that is our context module. We want
the original module to report to.
- code_file(+Name)
- Dump code to file Name instead of current output
- scasp_code_section_title(+Section, -Default, -Title)