Function destroyProxy

example/DynamicTreeTest.ts:244–254

()

}

function destroyProxy() {
  for (let i = 0; i < actors.length; ++i) {
    const j = (Math.random() * actors.length) | 0;
    const actor = actors[j];
    if (actor.proxyId != null) {
      tree.destroyProxy(actor.proxyId);
      actor.proxyId = null;
      return;
    }
  }
}

function moveProxy() {
  for (let i = 0; i < actors.length; ++i) {