Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::expressions::Variable Class Reference

#include <Variable.h>

Public Member Functions

 Variable ()
 
 ~Variable ()
 
 Variable (std::shared_ptr< ExpressionManager const > const &manager, uint_fast64_t index)
 Constructs a variable with the given index and type.
 
 Variable (Variable const &other)=default
 
Variableoperator= (Variable const &other)=default
 
 Variable (Variable &&other)=default
 
Variableoperator= (Variable &&other)=default
 
bool operator== (Variable const &other) const
 Checks the two variables for equality.
 
bool operator!= (Variable const &other) const
 Checks the two variables for inequality.
 
bool operator< (Variable const &other) const
 Checks whether the variable appears earlier in the total ordering of variables.
 
std::string const & getName () const
 Retrieves the name of the variable.
 
Type const & getType () const
 Retrieves the type of the variable.
 
storm::expressions::Expression getExpression () const
 Retrieves an expression that represents the variable.
 
ExpressionManager const & getManager () const
 Retrieves the manager responsible for this variable.
 
uint_fast64_t getIndex () const
 Retrieves the index of the variable.
 
uint_fast64_t getOffset () const
 Retrieves the offset of the variable in the group of all equally typed variables.
 
bool hasBooleanType () const
 Checks whether the variable is of boolean type.
 
bool hasIntegerType () const
 Checks whether the variable is of integral type.
 
bool hasBitVectorType () const
 Checks whether the variable is of a bit vector type.
 
bool hasRationalType () const
 Checks whether the variable is of rational type.
 
bool hasNumericalType () const
 Checks whether the variable is of numerical type.
 

Detailed Description

Definition at line 18 of file Variable.h.

Constructor & Destructor Documentation

◆ Variable() [1/4]

storm::expressions::Variable::Variable ( )

Definition at line 6 of file Variable.cpp.

◆ ~Variable()

storm::expressions::Variable::~Variable ( )

Definition at line 14 of file Variable.cpp.

◆ Variable() [2/4]

storm::expressions::Variable::Variable ( std::shared_ptr< ExpressionManager const > const &  manager,
uint_fast64_t  index 
)

Constructs a variable with the given index and type.

Parameters
managerThe manager that is responsible for this variable.
indexThe (unique) index of the variable.

Definition at line 10 of file Variable.cpp.

◆ Variable() [3/4]

storm::expressions::Variable::Variable ( Variable const &  other)
default

◆ Variable() [4/4]

storm::expressions::Variable::Variable ( Variable &&  other)
default

Member Function Documentation

◆ getExpression()

storm::expressions::Expression storm::expressions::Variable::getExpression ( ) const

Retrieves an expression that represents the variable.

Returns
An expression that represents the varible.

Definition at line 34 of file Variable.cpp.

◆ getIndex()

uint_fast64_t storm::expressions::Variable::getIndex ( ) const

Retrieves the index of the variable.

Returns
The index of the variable.

Definition at line 38 of file Variable.cpp.

◆ getManager()

ExpressionManager const & storm::expressions::Variable::getManager ( ) const

Retrieves the manager responsible for this variable.

Returns
The manager responsible for this variable.

Definition at line 54 of file Variable.cpp.

◆ getName()

std::string const & storm::expressions::Variable::getName ( ) const

Retrieves the name of the variable.

Returns
name The name of the variable.

Definition at line 46 of file Variable.cpp.

◆ getOffset()

uint_fast64_t storm::expressions::Variable::getOffset ( ) const

Retrieves the offset of the variable in the group of all equally typed variables.

Returns
The offset of the variable.

Definition at line 42 of file Variable.cpp.

◆ getType()

Type const & storm::expressions::Variable::getType ( ) const

Retrieves the type of the variable.

Returns
The type of the variable.

Definition at line 50 of file Variable.cpp.

◆ hasBitVectorType()

bool storm::expressions::Variable::hasBitVectorType ( ) const

Checks whether the variable is of a bit vector type.

Returns
True iff the variable is of a bit vector type.

Definition at line 67 of file Variable.cpp.

◆ hasBooleanType()

bool storm::expressions::Variable::hasBooleanType ( ) const

Checks whether the variable is of boolean type.

Returns
True iff the variable if of boolean type.

Definition at line 59 of file Variable.cpp.

◆ hasIntegerType()

bool storm::expressions::Variable::hasIntegerType ( ) const

Checks whether the variable is of integral type.

Returns
True iff the variable if of integral type.

Definition at line 63 of file Variable.cpp.

◆ hasNumericalType()

bool storm::expressions::Variable::hasNumericalType ( ) const

Checks whether the variable is of numerical type.

Returns
True iff the variable if of numerical type.

Definition at line 75 of file Variable.cpp.

◆ hasRationalType()

bool storm::expressions::Variable::hasRationalType ( ) const

Checks whether the variable is of rational type.

Returns
True iff the variable if of rational type.

Definition at line 71 of file Variable.cpp.

◆ operator!=()

bool storm::expressions::Variable::operator!= ( Variable const &  other) const

Checks the two variables for inequality.

Parameters
otherThe variable to compare with.
Returns
True iff the two variables are different.

Definition at line 26 of file Variable.cpp.

◆ operator<()

bool storm::expressions::Variable::operator< ( Variable const &  other) const

Checks whether the variable appears earlier in the total ordering of variables.

Parameters
otherThe variable to compare with.
Returns
True iff the first variable appears earlier than the given one.

Definition at line 30 of file Variable.cpp.

◆ operator=() [1/2]

Variable & storm::expressions::Variable::operator= ( Variable &&  other)
default

◆ operator=() [2/2]

Variable & storm::expressions::Variable::operator= ( Variable const &  other)
default

◆ operator==()

bool storm::expressions::Variable::operator== ( Variable const &  other) const

Checks the two variables for equality.

Parameters
otherThe variable to compare with.
Returns
True iff the two variables are the same.

Definition at line 18 of file Variable.cpp.


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