internal static HandleRef getCPtr(SWIGTYPE_p_vpsc__Constraint obj) { return((obj == null) ? new HandleRef(null, IntPtr.Zero) : obj.swigCPtr); }
internal static HandleRef getCPtr(SWIGTYPE_p_vpsc__Constraint obj) { return (obj == null) ? new HandleRef(null, IntPtr.Zero) : obj.swigCPtr; }
public UnsatisfiableConstraintInfo(SWIGTYPE_p_vpsc__Constraint c) : this(colaPINVOKE.new_UnsatisfiableConstraintInfo(SWIGTYPE_p_vpsc__Constraint.getCPtr(c)), true) { }