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
Variable &	operator= (Variable const &other)=default
	Variable (Variable &&other)=default
Variable &	operator= (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

manager	The manager that is responsible for this variable.
index	The (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

other

The 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

other

The 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

other

The 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:

• src/storm/storage/expressions/Variable.h
• src/storm/storage/expressions/Variable.cpp