TemplateEdgeDestination.h

Go to the documentation of this file.

#pragma once
 
#include "storm/storage/jani/OrderedAssignments.h"
 
namespace storm {
namespace jani {
 
class TemplateEdgeDestination {
   public:
    TemplateEdgeDestination() = default;
    TemplateEdgeDestination(OrderedAssignments const& assignments);
    TemplateEdgeDestination(Assignment const& assignment);
    TemplateEdgeDestination(std::vector<Assignment> const& assignments);
 
    void substitute(std::map<storm::expressions::Variable, storm::expressions::Expression> const& substitution, bool const substituteTranscendentalNumbers);
 
    void changeAssignmentVariables(std::map<Variable const*, std::reference_wrapper<Variable const>> const& remapping);
 
    OrderedAssignments const& getOrderedAssignments() const;
    OrderedAssignments& getOrderedAssignments();
 
    // Convenience methods to access the assignments.
    bool hasAssignment(Assignment const& assignment) const;
    bool removeAssignment(Assignment const& assignment);
    void addAssignment(Assignment const& assignment, bool addToExisting = false);
 
    bool hasTransientAssignment() const;
 
    bool usesAssignmentLevels(bool onlyTransient = false) const;
 
    bool hasAssignments() const;
    bool isLinear() const;
 
    TemplateEdgeDestination simplifyIndexedAssignments(bool syncronized, VariableSet const& localVars) const;
 
   private:
    // The (ordered) assignments to make when choosing this destination.
    OrderedAssignments assignments;
};
 
}  // namespace jani
}  // namespace storm