broadphase_SaP.h

/*
 * Software License Agreement (BSD License)
 *
 *  Copyright (c) 2011-2014, Willow Garage, Inc.
 *  Copyright (c) 2014-2016, Open Source Robotics Foundation
 *  All rights reserved.
 *
 *  Redistribution and use in source and binary forms, with or without
 *  modification, are permitted provided that the following conditions
 *  are met:
 *
 *   * Redistributions of source code must retain the above copyright
 *     notice, this list of conditions and the following disclaimer.
 *   * Redistributions in binary form must reproduce the above
 *     copyright notice, this list of conditions and the following
 *     disclaimer in the documentation and/or other materials provided
 *     with the distribution.
 *   * Neither the name of Open Source Robotics Foundation nor the names of its
 *     contributors may be used to endorse or promote products derived
 *     from this software without specific prior written permission.
 *
 *  THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
 *  "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
 *  LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
 *  FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
 *  COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
 *  INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
 *  BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
 *  LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
 *  CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 *  LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
 *  ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 *  POSSIBILITY OF SUCH DAMAGE.
 */ 

#ifndef FCL_BROAD_PHASE_SAP_H
#define FCL_BROAD_PHASE_SAP_H

#include <map>
#include <list>

#include "fcl/broadphase/broadphase_collision_manager.h"

namespace fcl
{

template <typename S>
class SaPCollisionManager : public BroadPhaseCollisionManager<S>
{
public:

  SaPCollisionManager();

  ~SaPCollisionManager();

  void registerObjects(const std::vector<CollisionObject<S>*>& other_objs);

  void registerObject(CollisionObject<S>* obj);

  void unregisterObject(CollisionObject<S>* obj);

  void setup();

  void update();

  void update(CollisionObject<S>* updated_obj);

  void update(const std::vector<CollisionObject<S>*>& updated_objs);

  void clear();

  void getObjects(std::vector<CollisionObject<S>*>& objs) const;

  void collide(CollisionObject<S>* obj, void* cdata, CollisionCallBack<S> callback) const;

  void distance(CollisionObject<S>* obj, void* cdata, DistanceCallBack<S> callback) const;

  void collide(void* cdata, CollisionCallBack<S> callback) const;

  void distance(void* cdata, DistanceCallBack<S> callback) const;

  void collide(BroadPhaseCollisionManager<S>* other_manager, void* cdata, CollisionCallBack<S> callback) const;

  void distance(BroadPhaseCollisionManager<S>* other_manager, void* cdata, DistanceCallBack<S> callback) const;

  bool empty() const;
  
  size_t size() const;

protected:

  struct SaPAABB;

  struct EndPoint;

  struct SaPPair;

  class isUnregistered;

  class isNotValidPair;

  void update_(SaPAABB* updated_aabb);

  void updateVelist();

  EndPoint* elist[3];
  
  std::vector<EndPoint*> velist[3];

  std::list<SaPAABB*> AABB_arr;

  std::list<SaPPair> overlap_pairs;

  size_t optimal_axis;

  std::map<CollisionObject<S>*, SaPAABB*> obj_aabb_map;

  bool distance_(CollisionObject<S>* obj, void* cdata, DistanceCallBack<S> callback, S& min_dist) const;

  bool collide_(CollisionObject<S>* obj, void* cdata, CollisionCallBack<S> callback) const;

  void addToOverlapPairs(const SaPPair& p);

  void removeFromOverlapPairs(const SaPPair& p);
};

using SaPCollisionManagerf = SaPCollisionManager<float>;
using SaPCollisionManagerd = SaPCollisionManager<double>;

template <typename S>
struct SaPCollisionManager<S>::SaPAABB
{
  CollisionObject<S>* obj;

  typename SaPCollisionManager<S>::EndPoint* lo;

  typename SaPCollisionManager<S>::EndPoint* hi;

  AABB<S> cached;
};

template <typename S>
struct SaPCollisionManager<S>::EndPoint
{
  char minmax;

  typename SaPCollisionManager<S>::SaPAABB* aabb;

  EndPoint* prev[3];

  EndPoint* next[3];

  const Vector3<S>& getVal() const;

  Vector3<S>& getVal();

  S getVal(size_t i) const;

  S& getVal(size_t i);

};

template <typename S>
struct SaPCollisionManager<S>::SaPPair
{
  SaPPair(CollisionObject<S>* a, CollisionObject<S>* b);

  CollisionObject<S>* obj1;
  CollisionObject<S>* obj2;

  bool operator == (const SaPPair& other) const;
};

template <typename S>
class SaPCollisionManager<S>::isUnregistered
{
  CollisionObject<S>* obj;

public:
  isUnregistered(CollisionObject<S>* obj_);

  bool operator() (const SaPPair& pair) const;
};

template <typename S>
class SaPCollisionManager<S>::isNotValidPair
{
  CollisionObject<S>* obj1;
  CollisionObject<S>* obj2;

public:
  isNotValidPair(CollisionObject<S>* obj1_, CollisionObject<S>* obj2_);

  bool operator() (const SaPPair& pair);
};

} // namespace fcl

#include "fcl/broadphase/broadphase_SaP-inl.h"

#endif