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();
    }
};
 
}  // namespace gspn
}  // namespace storm