ValuationTransformer.h

Go to the documentation of this file.

#pragma once
#include "storm/storage/expressions/Expression.h"
#include "storm/storage/valuations/Valuations.h"
 
namespace storm::storage::sparse {

class ValuationTransformer {
   public:
    ValuationTransformer(Valuations const& oldValuations);

    void addExpression(storm::expressions::Variable const& var, storm::expressions::Expression const& expr);

    Valuations build(bool extend);
 
   private:
    Valuations const& oldValuations;
    std::vector<storm::expressions::Variable> variables;
    std::vector<storm::expressions::Expression> expressions;
};
 
}  // namespace storm::storage::sparse