Let function

Let

Create let expression in MiniZinc

Super class

rminizinc::Expression -> Let

Public fields

• .decl: list of local declarations

• .in: body of the let

• .delete_flag: used to delete items

Active bindings

• .decl: list of local declarations

• .in: body of the let

• .delete_flag: used to delete items

Methods

Public methods

• list("Let$new()")

• list("Let$getLets()")

• list("Let$setLets()")

• list("Let$getLet()")

• list("Let$setLet()")

• list("Let$getBody()")

• list("Let$setBody()")

• list("Let$c_str()")

• list("Let$getDeleteFlag()")

• list("Let$delete()")

• list("Let$clone()")

Method new()

constructor

Usage

Let$new(let, body)

Arguments

• let: list of local declaration items and/or constraint items

• body: body of the let

Method getLets()

access list of declaration items and/or constraint items

Usage

Let$getLets()

Method setLets()

set list of declaration items and/or constraint items

Usage

Let$setLets(letList)

Arguments

• letList: list of declaration items and/or constraint items to be set

Method getLet()

access declaration item and/or constraint item i

Usage

Let$getLet(i)

Arguments

• i: index of let declaration item and/or constraint item to be accessed

Method setLet()

set list of declaration item and/or constraint item i

Usage

Let$setLet(let)

Arguments

• let: declaration item and/or constraint item to be set

Method getBody()

get the body

Usage

Let$getBody()

Method setBody()

set the body

Usage

Let$setBody(expBody)

Arguments

• expBody: expression to be set for body

Method c_str()

get the MiniZinc representation

Usage

Let$c_str()

Method getDeleteFlag()

delete flag for internal use

Usage

Let$getDeleteFlag()

Method delete()

delete the assignment item

Usage

Let$delete()

Method clone()

The objects of this class are cloneable with this method.

Usage

Let$clone(deep = FALSE)

Arguments

• deep: Whether to make a deep clone.