Interfaces.MZAST

Items

include

constraint

output

(%)

(=.)

declare

variable

predicate

function

test

annotation

solve

satisfy

minimize

maximize

Expressions

Constants

true

false

var

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

Types

ctvar

($$)

Annotations

(|:)