storm::prism::BooleanVariable Class Reference

#include <BooleanVariable.h>

Inheritance diagram for storm::prism::BooleanVariable:

Collaboration diagram for storm::prism::BooleanVariable:

Public Member Functions
	BooleanVariable ()=default
	BooleanVariable (BooleanVariable const &other)=default
BooleanVariable &	operator= (BooleanVariable const &other)=default
	BooleanVariable (BooleanVariable &&other)=default
BooleanVariable &	operator= (BooleanVariable &&other)=default
	BooleanVariable (storm::expressions::Variable const &variable, storm::expressions::Expression const &initialValueExpression, bool observable, std::string const &filename="", uint_fast64_t lineNumber=0)
	Creates a boolean variable with the given constant initial value expression.
BooleanVariable	substitute (std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) const
	Substitutes all identifiers in the boolean variable according to the given map.
BooleanVariable	substituteNonStandardPredicates () const
virtual void	createMissingInitialValue () override
	Equips the variable with an initial value based on its type if not initial value is present.
Public Member Functions inherited from storm::prism::Variable
	Variable (Variable const &otherVariable)=default
Variable &	operator= (Variable const &otherVariable)=default
	Variable (Variable &&otherVariable)=default
Variable &	operator= (Variable &&otherVariable)=default
virtual	~Variable ()=default
std::string const &	getName () const
	Retrieves the name of the variable.
bool	hasInitialValue () const
	Retrieves whether the variable has an initial value.
storm::expressions::Expression const &	getInitialValueExpression () const
	Retrieves the expression defining the initial value of the variable.
void	setInitialValueExpression (storm::expressions::Expression const &initialValueExpression)
	Sets the expression defining the initial value of the variable.
storm::expressions::Variable const &	getExpressionVariable () const
	Retrieves the expression variable associated with this variable.
storm::expressions::Expression	getExpression () const
	Retrieves the expression associated with this variable.
bool	isObservable () const
	Retrieves whether the variable is observable.
Public Member Functions inherited from storm::prism::LocatedInformation
	LocatedInformation (std::string const &filename, uint_fast64_t lineNumber)
	Constructs a located information with the given filename and line number.
	LocatedInformation ()=default
	LocatedInformation (LocatedInformation const &other)=default
LocatedInformation &	operator= (LocatedInformation const &other)=default
	LocatedInformation (LocatedInformation &&other)=default
LocatedInformation &	operator= (LocatedInformation &&other)=default
std::string const &	getFilename () const
	Retrieves the name of the file in which the information was found.
void	setFilename (std::string const &filename)
	Sets the filename of this information.
uint_fast64_t	getLineNumber () const
	Retrieves the line number in which the information was found.
void	setLineNumber (uint_fast64_t lineNumber)
	Sets the line number of this information.

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

Additional Inherited Members
Protected Member Functions inherited from storm::prism::Variable
	Variable ()=default
	Variable (storm::expressions::Variable const &variable, storm::expressions::Expression const &initialValueExpression, bool observable=false, std::string const &filename="", uint_fast64_t lineNumber=0)
	Creates a variable with the given initial value.
	Variable (storm::expressions::ExpressionManager &manager, Variable const &oldVariable, std::string const &newName, std::map< storm::expressions::Variable, storm::expressions::Expression > const &renaming, bool observable=false, std::string const &filename="", uint_fast64_t lineNumber=0)
	Creates a copy of the given variable and performs the provided renaming.

Detailed Description

Definition at line 11 of file BooleanVariable.h.

Constructor & Destructor Documentation

BooleanVariable() [1/4]

storm::prism::BooleanVariable::BooleanVariable ( )

default

BooleanVariable() [2/4]

storm::prism::BooleanVariable::BooleanVariable ( BooleanVariable const &  other )

default

BooleanVariable() [3/4]

storm::prism::BooleanVariable::BooleanVariable ( BooleanVariable &&  other )

default

BooleanVariable() [4/4]

storm::prism::BooleanVariable::BooleanVariable	(	storm::expressions::Variable const &	variable,
		storm::expressions::Expression const &	initialValueExpression,
		bool	observable,
		std::string const &	filename = "",
		uint_fast64_t	lineNumber = 0
	)

Creates a boolean variable with the given constant initial value expression.

Parameters

variable	The expression variable associated with this variable.
initialValueExpression	The constant expression that defines the initial value of the variable.
filename	The filename in which the variable is defined.
lineNumber	The line number in which the variable is defined.

Definition at line 7 of file BooleanVariable.cpp.

Member Function Documentation

createMissingInitialValue()

void storm::prism::BooleanVariable::createMissingInitialValue ( )

overridevirtual

Equips the variable with an initial value based on its type if not initial value is present.

Implements storm::prism::Variable.

Definition at line 27 of file BooleanVariable.cpp.

operator=() [1/2]

BooleanVariable & storm::prism::BooleanVariable::operator= ( BooleanVariable &&  other )

default

operator=() [2/2]

BooleanVariable & storm::prism::BooleanVariable::operator= ( BooleanVariable const &  other )

default

substitute()

BooleanVariable storm::prism::BooleanVariable::substitute

(

std::map< storm::expressions::Variable, storm::expressions::Expression > const &

substitution

)

const

Substitutes all identifiers in the boolean variable according to the given map.

Parameters

substitution

The substitution to perform.

Returns

The resulting boolean variable.

Definition at line 13 of file BooleanVariable.cpp.

substituteNonStandardPredicates()

BooleanVariable storm::prism::BooleanVariable::substituteNonStandardPredicates

(

)

const

Definition at line 20 of file BooleanVariable.cpp.

Friends And Related Symbol Documentation

operator<<

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

friend

Definition at line 33 of file BooleanVariable.cpp.

---

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

• src/storm/storage/prism/BooleanVariable.h
• src/storm/storage/prism/BooleanVariable.cpp