StateValuationTransformer.h

Go to the documentation of this file.

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

class StateValuationTransformer {
   public:
    StateValuationTransformer(StateValuations const& oldStateValuations);
    void addBooleanExpression(storm::expressions::Variable const& var, storm::expressions::Expression const& expr);
    void addIntegerExpression(storm::expressions::Variable const& var, storm::expressions::Expression const& expr);
    StateValuations build(bool extend);
 
   private:
    StateValuations const& oldStateValuations;
    std::vector<storm::expressions::Variable> booleanVariables;
    std::vector<storm::expressions::Expression> booleanExpressions;
    std::vector<storm::expressions::Variable> integerVariables;
    std::vector<storm::expressions::Expression> integerExpressions;
};
 
}  // namespace storm::storage::sparse