ConcreteResult.h

#ifndef ROSE_BinaryAnalysis_Concolic_ConcreteResult_H
#define ROSE_BinaryAnalysis_Concolic_ConcreteResult_H
#include <featureTests.h>
#ifdef ROSE_ENABLE_CONCOLIC_TESTING
#include <Rose/BinaryAnalysis/Concolic/BasicTypes.h>
 
#include <Sawyer/SharedObject.h>
#include <Sawyer/SharedPointer.h>
 
namespace Rose {
namespace BinaryAnalysis {
namespace Concolic {
 
class ConcreteResult: public Sawyer::SharedObject {
public:
    using Ptr = ConcreteResultPtr;
 
private:
    double rank_;
    bool isInteresting_;
 
protected:
    // Allocating constructors are named "instance" in the subclasses
    ConcreteResult();
 
    explicit ConcreteResult(double rank);
 
public:
    virtual ~ConcreteResult();
 
public:
    double rank() const;
    void rank(double r);
    bool isInteresting() const;
    void isInteresting(bool b);
private:
    friend class boost::serialization::access;
 
    template<class S>
    void serialize(S &s, const unsigned /*version*/) {
        s & BOOST_SERIALIZATION_NVP(rank_);
        s & BOOST_SERIALIZATION_NVP(isInteresting_);
    }
};
 
} // namespace
} // namespace
} // namespace
 
#endif
#endif