73 lines
958 B
Plaintext
73 lines
958 B
Plaintext
==========
|
|
Assignment
|
|
==========
|
|
|
|
this = that;
|
|
|
|
---
|
|
|
|
(source_file
|
|
(assignment (identifier) (identifier)))
|
|
|
|
|
|
==========
|
|
Constraint
|
|
==========
|
|
|
|
constraint true;
|
|
|
|
---
|
|
|
|
(source_file
|
|
(constraint (boolean_literal)))
|
|
|
|
===========
|
|
Declaration
|
|
===========
|
|
|
|
var int: simple_decl;
|
|
array[X, 1..23] of var int: simple_decl = some_call(X);
|
|
|
|
---
|
|
|
|
(source_file
|
|
(declaration (base_type (primitive_type)) (identifier))
|
|
(declaration (array_type (base_type (identifier)) (base_type (infix_operator (integer_literal) (integer_literal))) (base_type (primitive_type))) (identifier) (call (identifier) (identifier))))
|
|
|
|
====
|
|
Goal
|
|
====
|
|
|
|
solve satisfy;
|
|
solve maximize this;
|
|
solve minimize that;
|
|
|
|
---
|
|
|
|
(source_file
|
|
(goal)
|
|
(goal (identifier))
|
|
(goal (identifier)))
|
|
|
|
=======
|
|
Include
|
|
=======
|
|
|
|
include "globals.mzn";
|
|
|
|
---
|
|
|
|
(source_file
|
|
(include (string_literal)))
|
|
|
|
=======
|
|
Output
|
|
=======
|
|
|
|
output ["something"];
|
|
|
|
---
|
|
|
|
(source_file
|
|
(output (array_literal (string_literal))))
|