Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::generator::VariableInformation Member List

This is the complete list of members for storm::generator::VariableInformation, including all inherited members.

arrayVariableToElementInformationsstorm::generator::VariableInformation
booleanVariablesstorm::generator::VariableInformation
getBooleanArrayVariableReplacement(storm::expressions::Variable const &arrayVariable, std::vector< uint64_t > const &arrayIndexVector) conststorm::generator::VariableInformation
getIntegerArrayVariableReplacement(storm::expressions::Variable const &arrayVariable, std::vector< uint64_t > const &arrayIndexVector) conststorm::generator::VariableInformation
getOutOfBoundsBit() conststorm::generator::VariableInformation
getTotalBitOffset(bool roundTo64Bit=false) conststorm::generator::VariableInformation
hasOutOfBoundsBit() conststorm::generator::VariableInformation
integerVariablesstorm::generator::VariableInformation
locationVariablesstorm::generator::VariableInformation
observationLabelsstorm::generator::VariableInformation
registerArrayVariableReplacements(storm::jani::ArrayEliminatorData const &arrayEliminatorData)storm::generator::VariableInformation
totalBitOffsetstorm::generator::VariableInformation
VariableInformation(storm::prism::Program const &program, uint64_t reservedBitsForUnboundedVariables, bool outOfBoundsState=false)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)storm::generator::VariableInformation
VariableInformation()=defaultstorm::generator::VariableInformation