#include <VariableInformation.h>

Public Member Functions
	VariableInformation (storm::prism::Program const &program, uint64_t reservedBitsForUnboundedVariables, bool outOfBoundsState=false)

	VariableInformation (storm::jani::Model const &model, std::vector< std::reference_wrapper< storm::jani::Automaton const > > const &parallelAutomata, uint64_t reservedBitsForUnboundedVariables, bool outOfBoundsState)

	VariableInformation ()=default

uint_fast64_t	getTotalBitOffset (bool roundTo64Bit=false) const

void	registerArrayVariableReplacements (storm::jani::ArrayEliminatorData const &arrayEliminatorData)

BooleanVariableInformation const &	getBooleanArrayVariableReplacement (storm::expressions::Variable const &arrayVariable, std::vector< uint64_t > const &arrayIndexVector) const

IntegerVariableInformation const &	getIntegerArrayVariableReplacement (storm::expressions::Variable const &arrayVariable, std::vector< uint64_t > const &arrayIndexVector) const

bool	hasOutOfBoundsBit () const

uint64_t	getOutOfBoundsBit () const

Public Attributes
uint_fast64_t	totalBitOffset
	The total bit offset over all variables.

std::vector< LocationVariableInformation >	locationVariables
	The location variables.

std::vector< BooleanVariableInformation >	booleanVariables
	The boolean variables.

std::vector< IntegerVariableInformation >	integerVariables
	The integer variables.

std::vector< ObservationLabelInformation >	observationLabels
	The observation labels.

std::unordered_map< storm::expressions::Variable, ArrayVariableReplacementInformation >	arrayVariableToElementInformations
	Replacements for each array variable.

Detailed Description

Definition at line 106 of file VariableInformation.h.

Constructor & Destructor Documentation

◆ VariableInformation() [1/3]

storm::generator::VariableInformation::VariableInformation	(	storm::prism::Program const &	program,
		uint64_t	reservedBitsForUnboundedVariables,
		bool	outOfBoundsState = `false`
	)

Definition at line 95 of file VariableInformation.cpp.

◆ VariableInformation() [2/3]

storm::generator::VariableInformation::VariableInformation	(	storm::jani::Model const &	model,
		std::vector< std::reference_wrapper< storm::jani::Automaton const > > const &	parallelAutomata,
		uint64_t	reservedBitsForUnboundedVariables,
		bool	outOfBoundsState
	)

Definition at line 150 of file VariableInformation.cpp.

◆ VariableInformation() [3/3]

storm::generator::VariableInformation::VariableInformation ( )

default

Member Function Documentation

◆ getBooleanArrayVariableReplacement()

BooleanVariableInformation const & storm::generator::VariableInformation::getBooleanArrayVariableReplacement	(	storm::expressions::Variable const &	arrayVariable,
		std::vector< uint64_t > const &	arrayIndexVector
	)		const

Definition at line 201 of file VariableInformation.cpp.

◆ getIntegerArrayVariableReplacement()

IntegerVariableInformation const & storm::generator::VariableInformation::getIntegerArrayVariableReplacement	(	storm::expressions::Variable const &	arrayVariable,
		std::vector< uint64_t > const &	arrayIndexVector
	)		const

Definition at line 206 of file VariableInformation.cpp.

◆ getOutOfBoundsBit()

uint64_t storm::generator::VariableInformation::getOutOfBoundsBit ( ) const

Definition at line 266 of file VariableInformation.cpp.

◆ getTotalBitOffset()

uint_fast64_t storm::generator::VariableInformation::getTotalBitOffset ( bool roundTo64Bit = false ) const

Definition at line 254 of file VariableInformation.cpp.

◆ hasOutOfBoundsBit()

bool storm::generator::VariableInformation::hasOutOfBoundsBit ( ) const

Definition at line 262 of file VariableInformation.cpp.

◆ registerArrayVariableReplacements()

void storm::generator::VariableInformation::registerArrayVariableReplacements ( storm::jani::ArrayEliminatorData const & arrayEliminatorData )

Definition at line 178 of file VariableInformation.cpp.

Member Data Documentation

◆ arrayVariableToElementInformations

std::unordered_map<storm::expressions::Variable, ArrayVariableReplacementInformation> storm::generator::VariableInformation::arrayVariableToElementInformations

Replacements for each array variable.

Definition at line 136 of file VariableInformation.h.

◆ booleanVariables

std::vector<BooleanVariableInformation> storm::generator::VariableInformation::booleanVariables

The boolean variables.

Definition at line 127 of file VariableInformation.h.

◆ integerVariables

std::vector<IntegerVariableInformation> storm::generator::VariableInformation::integerVariables

The integer variables.

Definition at line 130 of file VariableInformation.h.

◆ locationVariables

std::vector<LocationVariableInformation> storm::generator::VariableInformation::locationVariables

The location variables.

Definition at line 124 of file VariableInformation.h.

◆ observationLabels

std::vector<ObservationLabelInformation> storm::generator::VariableInformation::observationLabels

The observation labels.

Definition at line 133 of file VariableInformation.h.

◆ totalBitOffset

uint_fast64_t storm::generator::VariableInformation::totalBitOffset

The total bit offset over all variables.

Definition at line 121 of file VariableInformation.h.

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

src/storm/generator/VariableInformation.h
src/storm/generator/VariableInformation.cpp

Public Member Functions

Public Attributes