storm::prism Namespace Reference

Classes
class	Assignment
class	BooleanVariable
class	ClockVariable
class	Command
class	Composition
class	CompositionToJaniVisitor
class	CompositionVisitor
class	Constant
class	Formula
class	HidingComposition
class	InitialConstruct
class	IntegerVariable
class	InterleavingParallelComposition
class	Label
class	ObservationLabel
class	LocatedInformation
class	Module
class	ModuleComposition
class	ModuleRenaming
class	OverlappingGuardAnalyser
class	ParallelComposition
class	Player
class	CompositionValidityChecker
class	Program
class	RenamingComposition
class	RestrictedParallelComposition
class	RewardModel
class	StateActionReward
class	StateReward
class	SynchronizingParallelComposition
class	SystemCompositionConstruct
class	ToJaniConverter
class	TransitionReward
class	Update
class	Variable

Functions
std::ostream &	operator<< (std::ostream &stream, Assignment const &assignment)
std::ostream &	operator<< (std::ostream &stream, BooleanVariable const &variable)
std::ostream &	operator<< (std::ostream &stream, ClockVariable const &variable)
std::ostream &	operator<< (std::ostream &stream, Command const &command)
std::ostream &	operator<< (std::ostream &stream, Composition const &composition)
std::ostream &	operator<< (std::ostream &stream, Constant const &constant)
bool	operator== (Constant const &lhs, Constant const &rhs)
std::ostream &	operator<< (std::ostream &stream, Formula const &formula)
std::ostream &	operator<< (std::ostream &stream, InitialConstruct const &initialConstruct)
std::ostream &	operator<< (std::ostream &stream, IntegerVariable const &variable)
std::ostream &	operator<< (std::ostream &stream, Label const &label)
std::ostream &	operator<< (std::ostream &stream, Module const &module)
std::ostream &	operator<< (std::ostream &stream, ModuleRenaming const &renaming)
std::ostream &	operator<< (std::ostream &stream, Player const &player)
std::ostream &	operator<< (std::ostream &out, Program::ModelType const &type)
std::ostream &	operator<< (std::ostream &stream, Program const &program)
std::ostream &	operator<< (std::ostream &stream, RewardModel const &rewardModel)
std::ostream &	operator<< (std::ostream &stream, StateActionReward const &stateActionReward)
std::ostream &	operator<< (std::ostream &stream, StateReward const &stateReward)
std::ostream &	operator<< (std::ostream &stream, SystemCompositionConstruct const &systemCompositionConstruct)
std::ostream &	operator<< (std::ostream &stream, TransitionReward const &transitionReward)
bool	isValidLikelihoodSimpl (storm::expressions::Expression const &simplifiedExpression)
	helper to assert valid likelihood expressions
bool	isValidLikelihood (storm::expressions::Expression const &expression)
std::ostream &	operator<< (std::ostream &stream, Update const &update)

Function Documentation

isValidLikelihood()

bool storm::prism::isValidLikelihood

(

storm::expressions::Expression const &

expression

)

Definition at line 26 of file Update.cpp.

isValidLikelihoodSimpl()

bool storm::prism::isValidLikelihoodSimpl

(

storm::expressions::Expression const &

simplifiedExpression

)

helper to assert valid likelihood expressions

Definition at line 22 of file Update.cpp.

operator<<() [1/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	out,
		Program::ModelType const &	type )

Definition at line 2391 of file Program.cpp.

operator<<() [2/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		Assignment const &	assignment )

Definition at line 39 of file Assignment.cpp.

operator<<() [3/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		BooleanVariable const &	variable )

Definition at line 33 of file BooleanVariable.cpp.

operator<<() [4/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		ClockVariable const &	variable )

Definition at line 20 of file ClockVariable.cpp.

operator<<() [5/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		Command const &	command )

Definition at line 122 of file Command.cpp.

operator<<() [6/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		Composition const &	composition )

Definition at line 6 of file Composition.cpp.

operator<<() [7/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		Constant const &	constant )

Definition at line 46 of file Constant.cpp.

operator<<() [8/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		Formula const &	formula )

Definition at line 60 of file Formula.cpp.

operator<<() [9/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		InitialConstruct const &	initialConstruct )

Definition at line 19 of file InitialConstruct.cpp.

operator<<() [10/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		IntegerVariable const &	variable )

Definition at line 81 of file IntegerVariable.cpp.

operator<<() [11/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		Label const &	label )

Definition at line 27 of file Label.cpp.

operator<<() [12/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		Module const &	module )

Definition at line 392 of file Module.cpp.

operator<<() [13/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		ModuleRenaming const &	renaming )

Definition at line 17 of file ModuleRenaming.cpp.

operator<<() [14/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		Player const &	player )

Definition at line 24 of file Player.cpp.

operator<<() [15/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		Program const &	program )

Definition at line 2424 of file Program.cpp.

operator<<() [16/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		RewardModel const &	rewardModel )

Definition at line 129 of file RewardModel.cpp.

operator<<() [17/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		StateActionReward const &	stateActionReward )

Definition at line 42 of file StateActionReward.cpp.

operator<<() [18/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		StateReward const &	stateReward )

Definition at line 25 of file StateReward.cpp.

operator<<() [19/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		SystemCompositionConstruct const &	systemCompositionConstruct )

Definition at line 15 of file SystemCompositionConstruct.cpp.

operator<<() [20/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		TransitionReward const &	transitionReward )

Definition at line 50 of file TransitionReward.cpp.

operator<<() [21/21]

std::ostream & storm::prism::operator<<	(	std::ostream &	stream,
		Update const &	update )

Definition at line 184 of file Update.cpp.

operator==()

bool storm::prism::operator==	(	Constant const &	lhs,
		Constant const &	rhs )

Definition at line 61 of file Constant.cpp.