BaseSemanticsMerger.h

#ifndef ROSE_BinaryAnalysis_InstructionSemantics2_BaseSemantics_Merger_H
#define ROSE_BinaryAnalysis_InstructionSemantics2_BaseSemantics_Merger_H
#include <rosePublicConfig.h>
#ifdef ROSE_BUILD_BINARY_ANALYSIS_SUPPORT

#include <BaseSemanticsTypes.h>

namespace Rose {
namespace BinaryAnalysis {
namespace InstructionSemantics2 {
namespace BaseSemantics {

//                                      Merging states

class Merger: public Sawyer::SharedObject {
    bool memoryAddressesMayAlias_;
    bool memoryMergeDebugging_;

protected:
    Merger();

public:
    typedef MergerPtr Ptr;

    ~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