storm::storage::StronglyConnectedComponent Class Reference

This class represents a strongly connected component, i.e., a set of states such that every state can reach every other state. More...

#include <StronglyConnectedComponent.h>

Inheritance diagram for storm::storage::StronglyConnectedComponent:

Collaboration diagram for storm::storage::StronglyConnectedComponent:

Public Member Functions
	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)
	Sets whether this SCC is trivial or not.
bool	isTrivial () const
	Retrieves whether this SCC is trivial.
Public Member Functions inherited from storm::storage::StateBlock
	StateBlock ()=default
	StateBlock (StateBlock const &other)=default
	StateBlock (StateBlock &&other)=default
StateBlock &	operator= (StateBlock const &other)=default
StateBlock &	operator= (StateBlock &&other)=default
template<typename InputIterator >
	StateBlock (InputIterator first, InputIterator last, bool sortedAndUnique=false)
	Creates a state block and inserts all elements in the given range.
	StateBlock (std::initializer_list< sparse::state_type > list)
	Constructs a state block from the given initializer list.
bool	operator== (StateBlock const &other) const
	Checks whether the two state blocks contain exactly the same states.
iterator	begin ()
	Returns an iterator to the states in this SCC.
const_iterator	begin () const
	Returns a const iterator to the states in this SCC.
const_iterator	cbegin () const
	Returns a const iterator to the states in this SCC.
iterator	end ()
	Returns an iterator that points one past the end of the states in this SCC.
const_iterator	end () const
	Returns a const iterator that points one past the end of the states in this SCC.
const_iterator	cend () const
	Returns a const iterator that points one past the end of the states in this SCC.
bool	containsState (value_type const &state) const
	Retrieves whether the given state is in the SCC.
void	insert (value_type const &state)
	Inserts the given element into this SCC.
iterator	insert (container_type::const_iterator iterator, value_type const &state)
	Inserts the given element into this SCC.
void	erase (value_type const &state)
	Removes the given element from this SCC.
std::size_t	size () const
	Retrieves the number of states in this SCC.
bool	empty () const
	Retrieves whether this SCC is empty.
container_type const &	getStates () const
	Retrieves the set of states contained in the StateBlock.

Additional Inherited Members
Public Types inherited from storm::storage::StateBlock
typedef FlatSetStateContainer	container_type
typedef container_type::value_type	value_type
typedef container_type::iterator	iterator
typedef container_type::const_iterator	const_iterator

Detailed Description

This class represents a strongly connected component, i.e., a set of states such that every state can reach every other state.

Definition at line 14 of file StronglyConnectedComponent.h.

Constructor & Destructor Documentation

StronglyConnectedComponent() [1/3]

storm::storage::StronglyConnectedComponent::StronglyConnectedComponent

(

)

Definition at line 5 of file StronglyConnectedComponent.cpp.

StronglyConnectedComponent() [2/3]

storm::storage::StronglyConnectedComponent::StronglyConnectedComponent ( StronglyConnectedComponent const &  other )

default

StronglyConnectedComponent() [3/3]

storm::storage::StronglyConnectedComponent::StronglyConnectedComponent ( StronglyConnectedComponent &&  other )

default

Member Function Documentation

isTrivial()

bool storm::storage::StronglyConnectedComponent::isTrivial

(

)

const

Retrieves whether this SCC is trivial.

Returns

True iff this SCC is trivial.

Definition at line 13 of file StronglyConnectedComponent.cpp.

operator=() [1/2]

StronglyConnectedComponent & storm::storage::StronglyConnectedComponent::operator= ( StronglyConnectedComponent &&  other )

default

operator=() [2/2]

StronglyConnectedComponent & storm::storage::StronglyConnectedComponent::operator= ( StronglyConnectedComponent const &  other )

default

setIsTrivial()

void storm::storage::StronglyConnectedComponent::setIsTrivial

(

bool

trivial

)

Sets whether this SCC is trivial or not.

Parameters

trivial

A flag indicating whether this SCC is trivial or not.

Definition at line 9 of file StronglyConnectedComponent.cpp.

---

The documentation for this class was generated from the following files:

• src/storm/storage/StronglyConnectedComponent.h
• src/storm/storage/StronglyConnectedComponent.cpp