-class RandomTransition : public Transition {
- int min_;
- int max_;
-
-public:
- std::string to_string(bool verbose) const override;
- std::string dot_label() const override;
- RandomTransition(aid_t issuer, int times_considered, std::stringstream& stream);
- bool depends(const Transition* other) const override { return false; } // Independent with any other transition
-};
+/** Make a new transition from serialized description */
+Transition* deserialize_transition(aid_t issuer, int times_considered, std::stringstream& stream);