All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Please wait. This can take some minutes ...
Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $
You can buy this project and download/modify it how often you want.
edu.nyu.acsys.CVC4.vectorSExpr Maven / Gradle / Ivy
/* ----------------------------------------------------------------------------
* This file was automatically generated by SWIG (http://www.swig.org).
* Version 4.0.1
*
* Do not make changes to this file unless you know what you are doing--modify
* the SWIG interface file instead.
* ----------------------------------------------------------------------------- */
package edu.nyu.acsys.CVC4;
public class vectorSExpr extends java.util.AbstractList implements java.util.RandomAccess {
private transient long swigCPtr;
protected transient boolean swigCMemOwn;
protected vectorSExpr(long cPtr, boolean cMemoryOwn) {
swigCMemOwn = cMemoryOwn;
swigCPtr = cPtr;
}
protected static long getCPtr(vectorSExpr obj) {
return (obj == null) ? 0 : obj.swigCPtr;
}
@SuppressWarnings("deprecation")
protected void finalize() {
delete();
}
public synchronized void delete() {
if (swigCPtr != 0) {
if (swigCMemOwn) {
swigCMemOwn = false;
CVC4JNI.delete_vectorSExpr(swigCPtr);
}
swigCPtr = 0;
}
}
public vectorSExpr(SExpr[] initialElements) {
this();
reserve(initialElements.length);
for (SExpr element : initialElements) {
add(element);
}
}
public vectorSExpr(Iterable initialElements) {
this();
for (SExpr element : initialElements) {
add(element);
}
}
public SExpr get(int index) {
return doGet(index);
}
public SExpr set(int index, SExpr e) {
return doSet(index, e);
}
public boolean add(SExpr e) {
modCount++;
doAdd(e);
return true;
}
public void add(int index, SExpr e) {
modCount++;
doAdd(index, e);
}
public SExpr remove(int index) {
modCount++;
return doRemove(index);
}
protected void removeRange(int fromIndex, int toIndex) {
modCount++;
doRemoveRange(fromIndex, toIndex);
}
public int size() {
return doSize();
}
public vectorSExpr() {
this(CVC4JNI.new_vectorSExpr__SWIG_0(), true);
}
public vectorSExpr(vectorSExpr other) {
this(CVC4JNI.new_vectorSExpr__SWIG_1(vectorSExpr.getCPtr(other), other), true);
}
public long capacity() {
return CVC4JNI.vectorSExpr_capacity(swigCPtr, this);
}
public void reserve(long n) {
CVC4JNI.vectorSExpr_reserve(swigCPtr, this, n);
}
public boolean isEmpty() {
return CVC4JNI.vectorSExpr_isEmpty(swigCPtr, this);
}
public void clear() {
CVC4JNI.vectorSExpr_clear(swigCPtr, this);
}
public vectorSExpr(int count, SExpr value) {
this(CVC4JNI.new_vectorSExpr__SWIG_2(count, SExpr.getCPtr(value), value), true);
}
private int doSize() {
return CVC4JNI.vectorSExpr_doSize(swigCPtr, this);
}
private void doAdd(SExpr x) {
CVC4JNI.vectorSExpr_doAdd__SWIG_0(swigCPtr, this, SExpr.getCPtr(x), x);
}
private void doAdd(int index, SExpr x) {
CVC4JNI.vectorSExpr_doAdd__SWIG_1(swigCPtr, this, index, SExpr.getCPtr(x), x);
}
private SExpr doRemove(int index) {
return new SExpr(CVC4JNI.vectorSExpr_doRemove(swigCPtr, this, index), true);
}
private SExpr doGet(int index) {
return new SExpr(CVC4JNI.vectorSExpr_doGet(swigCPtr, this, index), false);
}
private SExpr doSet(int index, SExpr val) {
return new SExpr(CVC4JNI.vectorSExpr_doSet(swigCPtr, this, index, SExpr.getCPtr(val), val), true);
}
private void doRemoveRange(int fromIndex, int toIndex) {
CVC4JNI.vectorSExpr_doRemoveRange(swigCPtr, this, fromIndex, toIndex);
}
}