Module pretty 

Functions for pretty printing Conjure models.

Most things can be pretty printed using Display; however some, notably collections can not, for example, Vec

Functions

format_domain_with_representation

Print domain as usual, but with repr as its top-level representation preference.

pretty_clauses

Pretty prints a Vec<CnfClause> as a list of clauses as disjunctions

pretty_domain_letting_declaration

Pretty prints, in essence syntax, the declaration for the given domain letting.

pretty_expression_domain_annotation

Pretty prints an expression with an Essence-style domain annotation.

pretty_expression_type_annotation

Pretty prints an expression with an Essence-style type annotation.

pretty_expressions_as_conjunction

Pretty prints a Vec<Expression> as if it were a conjunction.

pretty_expressions_as_top_level

Pretty prints a Vec<Expression> as if it were a top level constraint list in a such that.

pretty_find_with_representation

Pretty-print a find/findAux declaration with repr annotated on its domain.

pretty_value_letting_declaration

Pretty prints, in essence syntax, the declaration for the given value letting.

pretty_variable_declaration

Pretty prints, in essence syntax, the variable declaration for the given symbol.

pretty_vec

Pretty prints a Vec<T> in a vector like syntax.