Class ListAbstractState<AbstractSpaceT extends AbstractState<AbstractSpaceT>>

    • Field Summary

      • Fields inherited from class java.util.AbstractList

        modCount
    • Constructor Summary

      Constructors 
      Constructor Description
      ListAbstractState()
      Create a list abstract state with initial capacity 0.
      ListAbstractState​(int initalCapacity)
      Create a list abstract state with selected initial capacity.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      ListAbstractState<AbstractSpaceT> copy()
      Creates a copy of itself.
      AbstractSpaceT getOrDefault​(int index, AbstractSpaceT defaultState)
      Returns the abstract state at index, if present, returns the defaultState otherwise.
      boolean isLessOrEqual​(ListAbstractState<AbstractSpaceT> abstractState)
      Compares itself to the abstractState (i.e., compare the states on the partial order provided by the domain of the analysis).
      ListAbstractState<AbstractSpaceT> join​(ListAbstractState<AbstractSpaceT> abstractState)
      Computes a join over itself and another abstract state abstractState (i.e., finds the least upper bound on the semilattice).
      AbstractSpaceT set​(int index, AbstractSpaceT element, AbstractSpaceT defaultState)
      Sets an element at index to elem.
      • Methods inherited from class java.util.ArrayList

        add, add, addAll, addAll, clear, clone, contains, ensureCapacity, equals, forEach, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSize
      • Methods inherited from class java.util.AbstractCollection

        containsAll, toString
      • Methods inherited from class java.lang.Object

        finalize, getClass, notify, notifyAll, wait, wait, wait
      • Methods inherited from interface java.util.Collection

        parallelStream, stream, toArray
      • Methods inherited from interface java.util.List

        containsAll