public RegionPtrSet(RegionPtrSet other) : this(bwtaPINVOKE.new_RegionPtrSet__SWIG_1(RegionPtrSet.getCPtr(other)), true)
{
if (bwtaPINVOKE.SWIGPendingException.Pending)
{
throw bwtaPINVOKE.SWIGPendingException.Retrieve();
}
}
public RegionPtrSetEnumerator(RegionPtrSet collection)
{
collectionRef = collection;
keyCollection = new global::System.Collections.Generic.List <Region>(collection.Values);
currentIndex = -1;
currentObject = null;
currentSize = collectionRef.Count;
}
internal static global::System.Runtime.InteropServices.HandleRef getCPtr(RegionPtrSet obj)
{
return((obj == null) ? new global::System.Runtime.InteropServices.HandleRef(null, global::System.IntPtr.Zero) : obj.swigCPtr);
}
public virtual RegionPtrSet getReachableRegions()
{
RegionPtrSet ret = new RegionPtrSet(bwtaPINVOKE.Region_getReachableRegions(swigCPtr), false);
return(ret);
}
public static RegionPtrSet getRegions()
{
RegionPtrSet ret = new RegionPtrSet(bwtaPINVOKE.getRegions(), false);
return(ret);
}
