String function

String

Create a string in MiniZinc

Examples

newString = String$new("example")
newString$c_str()
newString$setV("new example")
newString$c_str()

Super class

rminizinc::Expression -> String

Public fields

• .value: string value

Active bindings

• .value: string value

Methods

Public methods

• list("String$new()")

• list("String$getV()")

• list("String$setV()")

• list("String$c_str()")

• list("String$clone()")

Method new()

constructor

Usage

String$new(val)

Arguments

• val: string input

Method getV()

get value

Usage

String$getV()

Method setV()

set value

Usage

String$setV(val)

Arguments

• val: string value

Method c_str()

get the MiniZinc representation

Usage

String$c_str()

Method clone()

The objects of this class are cloneable with this method.

Usage

String$clone(deep = FALSE)

Arguments

• deep: Whether to make a deep clone.