Rose/BinaryAnalysis/Concolic/Callback/BasicTypes.h

#ifndef ROSE_BinaryAnalysis_Concolic_Callback_BasicTypes_H
#define ROSE_BinaryAnalysis_Concolic_Callback_BasicTypes_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_CONCOLIC_TESTING
 
namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {
namespace Callback {
 
class MemoryExit;
using MemoryExitPtr = Sawyer::SharedPointer<MemoryExit>; 
class MemoryInput;
using MemoryInputPtr = Sawyer::SharedPointer<MemoryInput>; 
class MemoryTime;
using MemoryTimePtr = Sawyer::SharedPointer<MemoryTime>; 
} // namespace
} // namespace
} // namespace
} // namespace
 
#endif
#endif