String: String

Description Super class Public fields Active bindings Methods Examples

Description

Create a string in MiniZinc

Super class

rminizinc::Expression -> String

Public fields

.value

string value

Active bindings

.value

string value

Methods

Public methods

Inherited methods

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.

Examples

1
2
3
4
newString = String$new("example")
newString$c_str()
newString$setV("new example")
newString$c_str()

rminizinc documentation built on Oct. 15, 2021, 9:06 a.m.