Example #1
0
 public void SetRange(int index, BoolVector values)
 {
     SharpMochaPINVOKE.BoolVector_SetRange(swigCPtr, index, BoolVector.getCPtr(values));
     if (SharpMochaPINVOKE.SWIGPendingException.Pending)
     {
         throw SharpMochaPINVOKE.SWIGPendingException.Retrieve();
     }
 }
 public void MergeStates(BaseState src, BaseState dest, BoolVector whichObjsToMerge)
 {
     SharpMochaPINVOKE.StateSerializer_MergeStates__SWIG_0(swigCPtr, BaseState.getCPtr(src), BaseState.getCPtr(dest), BoolVector.getCPtr(whichObjsToMerge));
 }
Example #3
0
 public BoolVector(BoolVector other) : this(SharpMochaPINVOKE.new_BoolVector__SWIG_1(BoolVector.getCPtr(other)), true)
 {
     if (SharpMochaPINVOKE.SWIGPendingException.Pending)
     {
         throw SharpMochaPINVOKE.SWIGPendingException.Retrieve();
     }
 }