edu.nyu.acsys.CVC4.SWIGTYPE_p_std__vectorT_std__vectorT_std__string_t_t 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 SWIGTYPE_p_std__vectorT_std__vectorT_std__string_t_t {
private transient long swigCPtr;
protected SWIGTYPE_p_std__vectorT_std__vectorT_std__string_t_t(long cPtr, @SuppressWarnings("unused") boolean futureUse) {
swigCPtr = cPtr;
}
protected SWIGTYPE_p_std__vectorT_std__vectorT_std__string_t_t() {
swigCPtr = 0;
}
protected static long getCPtr(SWIGTYPE_p_std__vectorT_std__vectorT_std__string_t_t obj) {
return (obj == null) ? 0 : obj.swigCPtr;
}
}