conjure_core::ast

Module pretty

Source
Expand description

Functions for pretty printing Conjure models.

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

Functionsยง

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_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.