line::mc::ssg_detail Namespace Reference

Functions
template<class T>
CtmcSsgResult< T >	assemble (const qn::NetworkStruct< T > &sn, std::vector< qn::NetState< T > > space)
	The three matrix views from an enumerated space.
std::vector< std::size_t >	cutoff_or_closed (const std::vector< std::size_t > &cutoff, std::size_t R)

Function Documentation

assemble()

template<class T>

CtmcSsgResult< T > line::mc::ssg_detail::assemble	(	const qn::NetworkStruct< T > &	sn,
		std::vector< qn::NetState< T > >	space )

The three matrix views from an enumerated space.

Definition at line 83 of file ctmc_ssg.h.

References assemble(), line::ctmc::ctmc_state_space_aggr(), line::Matrix< T >::Matrix(), line::mc::CtmcSsgResult< T >::node_state_space, line::mc::CtmcSsgResult< T >::space, line::mc::CtmcSsgResult< T >::state_space, line::mc::CtmcSsgResult< T >::state_space_aggr, and line::mc::CtmcSsgResult< T >::state_space_hashed.

Referenced by assemble(), line::mc::ctmc_ssg(), and line::mc::ctmc_ssg_reachability().

cutoff_or_closed()

std::vector< std::size_t > line::mc::ssg_detail::cutoff_or_closed ( const std::vector< std::size_t > & cutoff, std::size_t R )

inline

Definition at line 135 of file ctmc_ssg.h.

References cutoff_or_closed(), and line::InputError::InputError().

Referenced by line::mc::ctmc_ssg(), line::mc::ctmc_ssg_reachability(), and cutoff_or_closed().