StronglyConnectedComponent.h

Go to the documentation of this file.

#ifndef STORM_STORAGE_STRONGLYCONNECTEDCOMPONENT_H_
#define STORM_STORAGE_STRONGLYCONNECTEDCOMPONENT_H_
 
#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
 
#endif /* STORM_STORAGE_STRONGLYCONNECTEDCOMPONENT_H_ */