SimpleValuation.h

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <set>
#include <vector>
 
#include "storm/adapters/JsonForward.h"
#include "storm/adapters/RationalNumberForward.h"
#include "storm/storage/expressions/Valuation.h"
 
namespace storm {
namespace expressions {

class SimpleValuation : public Valuation {
   public:
    friend class SimpleValuationPointerHash;
    friend class SimpleValuationPointerLess;

    SimpleValuation();

    SimpleValuation(std::shared_ptr<storm::expressions::ExpressionManager const> const& manager);
 
    // Define deep-copy and move operators.
    SimpleValuation(SimpleValuation const& other);
    SimpleValuation& operator=(SimpleValuation const& other);
    SimpleValuation(SimpleValuation&& other);
    SimpleValuation& operator=(SimpleValuation&& other);

    bool operator==(SimpleValuation const& other) const;
 
    // Override virtual functions of base class.
    virtual bool getBooleanValue(Variable const& booleanVariable) const override;
    virtual void setBooleanValue(Variable const& booleanVariable, bool value) override;
    virtual int_fast64_t getIntegerValue(Variable const& integerVariable) const override;
    virtual int_fast64_t getBitVectorValue(Variable const& bitVectorVariable) const override;
    virtual void setIntegerValue(Variable const& integerVariable, int_fast64_t value) override;
    virtual void setBitVectorValue(Variable const& bitVectorVariable, int_fast64_t value) override;
    virtual double getRationalValue(Variable const& rationalVariable) const override;
    virtual void setRationalValue(Variable const& rationalVariable, double value) override;

    virtual std::string toPrettyString(std::set<storm::expressions::Variable> const& selectedVariables) const;
 
    virtual std::string toString(bool pretty = true) const;
    storm::json<storm::RationalNumber> toJson() const;
 
    friend std::ostream& operator<<(std::ostream& out, SimpleValuation const& valuation);
 
   private:
    // Containers that store the values of the variables of the appropriate type.
    std::vector<bool> booleanValues;
    std::vector<int_fast64_t> integerValues;
    std::vector<double> rationalValues;
};
 
std::ostream& operator<<(std::ostream& out, SimpleValuation const& valuation);

class SimpleValuationPointerHash {
   public:
    std::size_t operator()(SimpleValuation* valuation) const;
};

class SimpleValuationPointerCompare {
   public:
    bool operator()(SimpleValuation* valuation1, SimpleValuation* valuation2) const;
};

class SimpleValuationPointerLess {
   public:
    bool operator()(SimpleValuation* valuation1, SimpleValuation* valuation2) const;
};
}  // namespace expressions
}  // namespace storm