TransitionPartition.h

Go to the documentation of this file.

#pragma once
#include <vector>
 
namespace storm {
namespace gspn {
 
struct TransitionPartition {
    std::vector<uint64_t> transitions;
    uint64_t priority;
 
    uint64_t nrTransitions() const {
        return transitions.size();
    }
    uint64_t nrTransitions() const  {…}
};
struct TransitionPartition {…};
 
}  // namespace gspn
}  // namespace storm