Interfaces.MZPrinter

This module provides a pretty-printer of MiniZinc models represented through the MZAST module. This pretty-printer is based on the Text.PrettyPrint module.

Documentation

type MZModel = [Item]

An abbreviation for the type of a represented MiniZinc model.

printModel :: MZModel -> Doc

Prints the represented MiniZinc model. Essentially, this function applies printItem on each element of the specified model.

printItem :: Item -> Doc

Prints an item of the represented model. Example:

>>> printItem $ Pred "even" [(Dec, Int, "x")] (Just (Bi Eq (Bi Mod (Var "x") (IConst 2)) (IConst 0)))
predicate even(var int: x) =
  x mod 2 = 0;

printExpr :: Expr -> Doc

Prints the represented MiniZinc expressions of a model. Examples:

>>> printExpr $ SetComp (Bi Times (IConst 2) (Var "i")) ([(["i"], Interval (IConst 1) (IConst 5))], Nothing)
{2 * i | i in 1..5}

>>> printExpr $ Let [Declare Dec Int "x" (Just (IConst 3)), Declare Dec Int "y" (Just (IConst 4))] (Bi BPlus (Var "x") (Var "y"))
let {var int: x = 3;
     var int: y = 4;}
in x + y