Merger.h

#ifndef ROSE_BinaryAnalysis_InstructionSemantics_BaseSemantics_Merger_H
#define ROSE_BinaryAnalysis_InstructionSemantics_BaseSemantics_Merger_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_BINARY_ANALYSIS

#include <Rose/BinaryAnalysis/InstructionSemantics/BaseSemantics/Types.h>

namespace Rose {
namespace BinaryAnalysis {
namespace InstructionSemantics {
namespace BaseSemantics {

//                                      Merging states

class Merger: public Sawyer::SharedObject {
public:
    typedef MergerPtr Ptr;

private:
    bool memoryAddressesMayAlias_;
    bool memoryMergeDebugging_;

protected:
    Merger();

public:
    ~Merger();

    static Ptr instance();

    bool memoryAddressesMayAlias() const { return memoryAddressesMayAlias_; }
    void memoryAddressesMayAlias(bool b) { memoryAddressesMayAlias_ = b; }
    bool memoryMergeDebugging() const { return memoryMergeDebugging_; }
    void memoryMergeDebugging(bool b) { memoryMergeDebugging_ = b; }
};

} // namespace
} // namespace
} // namespace
} // namespace

#endif
#endif