newground.default_output_printer module

The default output printer module contains the default output printer class. It prints the output to stdout (unique, so it does not print two exact same lines of ASP code).

class newground.default_output_printer.DefaultOutputPrinter

Bases: object

The default output printer prints an ASP program to STDOUT, and takes care of printing it uniquely (no two exact same lines are printed).

custom_print(string)

Prints a line of code, if not already printed.