Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
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
 
BooleanVariableoperator= (BooleanVariable const &other)=default
 
 BooleanVariable (BooleanVariable &&other)=default
 
BooleanVariableoperator= (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
 
Variableoperator= (Variable const &otherVariable)=default
 
 Variable (Variable &&otherVariable)=default
 
Variableoperator= (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
 
LocatedInformationoperator= (LocatedInformation const &other)=default
 
 LocatedInformation (LocatedInformation &&other)=default
 
LocatedInformationoperator= (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
variableThe expression variable associated with this variable.
initialValueExpressionThe constant expression that defines the initial value of the variable.
filenameThe filename in which the variable is defined.
lineNumberThe 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
substitutionThe 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: