StronglyConnectedComponent.h

Go to the documentation of this file.

#pragma once
 
#include "storm/storage/Decomposition.h"
#include "storm/storage/StateBlock.h"
 
namespace storm {
namespace storage {

class StronglyConnectedComponent : public StateBlock {
   public:
    StronglyConnectedComponent();
    StronglyConnectedComponent(StronglyConnectedComponent const& other) = default;
    StronglyConnectedComponent(StronglyConnectedComponent&& other) = default;
    StronglyConnectedComponent& operator=(StronglyConnectedComponent const& other) = default;
    StronglyConnectedComponent& operator=(StronglyConnectedComponent&& other) = default;

    void setIsTrivial(bool trivial);

    bool isTrivial() const;
 
   private:
    // Stores whether this SCC is trivial.
    bool isTrivialScc;
};
 
}  // namespace storage
}  // namespace storm