Interfaces.MZAST

Items

data GItem a

include

constraint

output

(%)

solve

satisfy

minimize

maximize

(=.)

var

par

ann

predicate

function

test

Expressions

Constants

true

false

bool

int

float

string

Conditional

if_

then_

elseif_

else_

Sets

intSet

floatSet

stringSet

mapSet

set

(#/.)

Arrays

boolArray

intArray

floatArray

stringArray

boolArray2

intArray2

floatArray2

stringArray2

mapArray

mapArray2

array

array2

(#|.)

(!.)

Comprehension tail

(@@)

where_

Generator calls

forall

User defined operations

prefCall

infCall

prefOp

infOp

let_

Types

($$)

Annotations

annotation

(|:)

Others

type ModelData

declareOnly

turnToItem