Package | Description |
---|---|
eu.bandm.tools.ramus.runtime |
Modifier and Type | Method and Description |
---|---|
Tuple |
Tuple.append(Value last) |
static Tuple |
Tuple.empty() |
Tuple<U,L> |
Tuple.set(int index,
Value<U,L> elem) |
Tuple<U,L> |
Tuple.snapshot() |
static <U,L> Tuple<U,L> |
Tuple.tuple(java.util.List<? extends Value<U,L>> elems) |
static Tuple |
Tuple.tuple(Value... elems) |
see also the complete user documentation .