Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::prism::ClockVariable Class Reference

#include <ClockVariable.h>

Inheritance diagram for storm::prism::ClockVariable:
Collaboration diagram for storm::prism::ClockVariable:

Public Member Functions

 ClockVariable ()=default
 
 ClockVariable (ClockVariable const &other)=default
 
ClockVariableoperator= (ClockVariable const &other)=default
 
 ClockVariable (ClockVariable &&other)=default
 
ClockVariableoperator= (ClockVariable &&other)=default
 
 ClockVariable (storm::expressions::Variable const &variable, bool observable, std::string const &filename="", uint_fast64_t lineNumber=0)
 Creates a clock variable.
 
virtual void createMissingInitialValue () override
 Sets a missing initial value (note that for clock variables, this is always zero)
 
- 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, ClockVariable 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 9 of file ClockVariable.h.

Constructor & Destructor Documentation

◆ ClockVariable() [1/4]

storm::prism::ClockVariable::ClockVariable ( )
default

◆ ClockVariable() [2/4]

storm::prism::ClockVariable::ClockVariable ( ClockVariable const &  other)
default

◆ ClockVariable() [3/4]

storm::prism::ClockVariable::ClockVariable ( ClockVariable &&  other)
default

◆ ClockVariable() [4/4]

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

Creates a clock variable.

Parameters
variableThe expression variable associated with this variable.
filenameThe filename in which the variable is defined.
lineNumberThe line number in which the variable is defined.

Definition at line 8 of file ClockVariable.cpp.

Member Function Documentation

◆ createMissingInitialValue()

void storm::prism::ClockVariable::createMissingInitialValue ( )
overridevirtual

Sets a missing initial value (note that for clock variables, this is always zero)

Implements storm::prism::Variable.

Definition at line 13 of file ClockVariable.cpp.

◆ operator=() [1/2]

ClockVariable & storm::prism::ClockVariable::operator= ( ClockVariable &&  other)
default

◆ operator=() [2/2]

ClockVariable & storm::prism::ClockVariable::operator= ( ClockVariable const &  other)
default

Friends And Related Symbol Documentation

◆ operator<<

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

Definition at line 19 of file ClockVariable.cpp.


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