Package org.sosy_lab.java_smt.solvers.opensmt.api

Class VectorInt

  • All Implemented Interfaces:
    java.lang.Iterable<java.lang.Integer>, java.util.Collection<java.lang.Integer>, java.util.List<java.lang.Integer>, java.util.RandomAccess
    public class VectorInt
extends java.util.AbstractList<java.lang.Integer>
implements java.util.RandomAccess

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected boolean swigCMemOwn  

      • Fields inherited from class java.util.AbstractList

        modCount

    • Constructor Summary

      Constructors 
      Modifier Constructor Description
        VectorInt()  
        VectorInt​(int[] initialElements)  
        VectorInt​(int count, int value)  
      protected VectorInt​(long cPtr, boolean cMemoryOwn)  
        VectorInt​(java.lang.Iterable<java.lang.Integer> initialElements)  
        VectorInt​(VectorInt other)  

    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void add​(int index, java.lang.Integer e)  
      boolean add​(java.lang.Integer e)  
      long capacity()  
      void clear()  
      void delete()  
      protected void finalize()  
      java.lang.Integer get​(int index)  
      protected static long getCPtr​(VectorInt obj)  
      boolean isEmpty()  
      java.lang.Integer remove​(int index)  
      protected void removeRange​(int fromIndex, int toIndex)  
      void reserve​(long n)  
      java.lang.Integer set​(int index, java.lang.Integer e)  
      int size()  
      protected static long swigRelease​(VectorInt obj)  

      • Methods inherited from class java.util.AbstractList

        addAll, equals, hashCode, indexOf, iterator, lastIndexOf, listIterator, listIterator, subList

      • Methods inherited from class java.util.AbstractCollection

        addAll, contains, containsAll, remove, removeAll, retainAll, toArray, toArray, toString

      • Methods inherited from class java.lang.Object

        clone, getClass, notify, notifyAll, wait, wait, wait

      • Methods inherited from interface java.util.Collection

        parallelStream, removeIf, stream, toArray

      • Methods inherited from interface java.lang.Iterable

        forEach

      • Methods inherited from interface java.util.List

        addAll, contains, containsAll, remove, removeAll, replaceAll, retainAll, sort, spliterator, toArray, toArray

    • Field Detail

      • swigCMemOwn

        protected transient boolean swigCMemOwn

    • Constructor Detail

      • VectorInt

        protected VectorInt​(long cPtr,
                    boolean cMemoryOwn)

      • VectorInt

        public VectorInt​(int[] initialElements)

      • VectorInt

        public VectorInt​(java.lang.Iterable<java.lang.Integer> initialElements)

      • VectorInt

        public VectorInt()

      • VectorInt

        public VectorInt​(VectorInt other)

      • VectorInt

        public VectorInt​(int count,
                 int value)

    • Method Detail

      • getCPtr

        protected static long getCPtr​(VectorInt obj)

      • swigRelease

        protected static long swigRelease​(VectorInt obj)

      • finalize

        protected void finalize()
        Overrides:
        finalize in class java.lang.Object

      • delete

        public void delete()

      • get

        public java.lang.Integer get​(int index)
        Specified by:
        get in interface java.util.List<java.lang.Integer>
        Specified by:
        get in class java.util.AbstractList<java.lang.Integer>

      • set

        public java.lang.Integer set​(int index,
                             java.lang.Integer e)
        Specified by:
        set in interface java.util.List<java.lang.Integer>
        Overrides:
        set in class java.util.AbstractList<java.lang.Integer>

      • add

        public boolean add​(java.lang.Integer e)
        Specified by:
        add in interface java.util.Collection<java.lang.Integer>
        Specified by:
        add in interface java.util.List<java.lang.Integer>
        Overrides:
        add in class java.util.AbstractList<java.lang.Integer>

      • add

        public void add​(int index,
                java.lang.Integer e)
        Specified by:
        add in interface java.util.List<java.lang.Integer>
        Overrides:
        add in class java.util.AbstractList<java.lang.Integer>

      • remove

        public java.lang.Integer remove​(int index)
        Specified by:
        remove in interface java.util.List<java.lang.Integer>
        Overrides:
        remove in class java.util.AbstractList<java.lang.Integer>

      • removeRange

        protected void removeRange​(int fromIndex,
                           int toIndex)
        Overrides:
        removeRange in class java.util.AbstractList<java.lang.Integer>

      • size

        public int size()
        Specified by:
        size in interface java.util.Collection<java.lang.Integer>
        Specified by:
        size in interface java.util.List<java.lang.Integer>
        Specified by:
        size in class java.util.AbstractCollection<java.lang.Integer>

      • capacity

        public long capacity()

      • reserve

        public void reserve​(long n)

      • isEmpty

        public boolean isEmpty()
        Specified by:
        isEmpty in interface java.util.Collection<java.lang.Integer>
        Specified by:
        isEmpty in interface java.util.List<java.lang.Integer>
        Overrides:
        isEmpty in class java.util.AbstractCollection<java.lang.Integer>

      • clear

        public void clear()
        Specified by:
        clear in interface java.util.Collection<java.lang.Integer>
        Specified by:
        clear in interface java.util.List<java.lang.Integer>
        Overrides:
        clear in class java.util.AbstractList<java.lang.Integer>