Methods in edu.mit.csail.sdg.alloy4 that return ConstList.TempList |
ConstList.TempList<T> |
ConstList.TempList.add(T elem)
Appends the given element to the list, then return itself. |
ConstList.TempList<T> |
ConstList.TempList.addAll(java.lang.Iterable<? extends T> all)
Appends the elements in the given collection to the list, then return itself. |
ConstList.TempList<T> |
ConstList.TempList.clear()
Removes every element, then return itself. |
ConstList.TempList<T> |
ConstList.TempList.set(int index,
T elem)
Changes the i-th element to be the given element, then return itself. |