Uses of Class
edu.mit.csail.sdg.alloy4.ConstList.TempList

Packages that use ConstList.TempList
edu.mit.csail.sdg.alloy4 This package contains general data structures and helper classes. 
 

Uses of ConstList.TempList in edu.mit.csail.sdg.alloy4
 

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.