// CheckerPtr.h

#ifndef CheckerPtr_H
#define CheckerPtr_H

// A reference-counting pointer for class Checker.

#include "ptr/Ptr.h"
#include "ptr/LocalSharedDeletePolicy.h"
#include "Checker.h"

namespace trf {

typedef Ptr<const Checker,LocalSharedDeletePolicy> CheckerPtr;

}  // end namespace trf

#endif