#include <ParallelComposition.h>

Public Member Functions
	SynchronizationVector (std::vector< std::string > const &input, std::string const &output)

	SynchronizationVector (std::vector< std::string > const &input)

std::size_t	size () const

std::vector< std::string > const &	getInput () const

std::string const &	getInput (uint64_t index) const

std::string const &	getOutput () const

boost::optional< std::string >	getPrecedingParticipatingAction (uint64_t index) const
	Retrieves the action name that is the last participating action before the given input index.

boost::optional< uint64_t >	getPositionOfPrecedingParticipatingAction (uint64_t index) const
	Retrieves the position of the last participating action before the given input index.

uint64_t	getPositionOfFirstParticipatingAction () const
	Retrieves the position of the first participating action.

uint64_t	getNumberOfActionInputs () const
	Retrieves the number of action inputs, i.e.

Static Public Member Functions
static bool	isNoActionInput (std::string const &action)

Static Public Attributes
static const std::string	NO_ACTION_INPUT = "-"

Detailed Description

Definition at line 15 of file ParallelComposition.h.

Constructor & Destructor Documentation

◆ SynchronizationVector() [1/2]

storm::jani::SynchronizationVector::SynchronizationVector	(	std::vector< std::string > const &	input,
		std::string const &	output
	)

Definition at line 16 of file ParallelComposition.cpp.

◆ SynchronizationVector() [2/2]

storm::jani::SynchronizationVector::SynchronizationVector ( std::vector< std::string > const & input )

Definition at line 20 of file ParallelComposition.cpp.

Member Function Documentation

◆ getInput() [1/2]

std::vector< std::string > const & storm::jani::SynchronizationVector::getInput ( ) const

Definition at line 26 of file ParallelComposition.cpp.

◆ getInput() [2/2]

std::string const & storm::jani::SynchronizationVector::getInput ( uint64_t index ) const

Definition at line 30 of file ParallelComposition.cpp.

◆ getNumberOfActionInputs()

uint64_t storm::jani::SynchronizationVector::getNumberOfActionInputs ( ) const

Retrieves the number of action inputs, i.e.

participating subcompositions.

Definition at line 75 of file ParallelComposition.cpp.

◆ getOutput()

std::string const & storm::jani::SynchronizationVector::getOutput ( ) const

Definition at line 33 of file ParallelComposition.cpp.

◆ getPositionOfFirstParticipatingAction()

uint64_t storm::jani::SynchronizationVector::getPositionOfFirstParticipatingAction ( ) const

Retrieves the position of the first participating action.

Definition at line 66 of file ParallelComposition.cpp.

◆ getPositionOfPrecedingParticipatingAction()

boost::optional< uint64_t > storm::jani::SynchronizationVector::getPositionOfPrecedingParticipatingAction ( uint64_t index ) const

Retrieves the position of the last participating action before the given input index.

If there is no such action none is returned.

Definition at line 46 of file ParallelComposition.cpp.

◆ getPrecedingParticipatingAction()

boost::optional< std::string > storm::jani::SynchronizationVector::getPrecedingParticipatingAction ( uint64_t index ) const

Retrieves the action name that is the last participating action before the given input index.

If there is no such action none is returned.

Definition at line 37 of file ParallelComposition.cpp.

◆ isNoActionInput()

bool storm::jani::SynchronizationVector::isNoActionInput ( std::string const & action )

static

Definition at line 85 of file ParallelComposition.cpp.

◆ size()

std::size_t storm::jani::SynchronizationVector::size ( ) const

Definition at line 22 of file ParallelComposition.cpp.

Member Data Documentation

◆ NO_ACTION_INPUT

const std::string storm::jani::SynchronizationVector::NO_ACTION_INPUT = "-"