This is the complete list of members for storm::jani::Variable, including all inherited members.

clone() const	storm::jani::Variable
getExpressionVariable() const	storm::jani::Variable
getInitExpression() const	storm::jani::Variable
getName() const	storm::jani::Variable
getRangeExpression() const	storm::jani::Variable
getType()	storm::jani::Variable
getType() const	storm::jani::Variable
hasInitExpression() const	storm::jani::Variable
isTransient() const	storm::jani::Variable
makeArrayVariable(std::string const &name, JaniType const &baseType, storm::expressions::Variable const &variable, boost::optional< storm::expressions::Expression > const &initValue, bool transient)	storm::jani::Variable	static
makeBasicTypeVariable(std::string const &name, BasicType::Type const &type, storm::expressions::Variable const &variable, boost::optional< storm::expressions::Expression > const &initValue, bool transient)	storm::jani::Variable	static
makeBooleanVariable(std::string const &name, storm::expressions::Variable const &variable, boost::optional< storm::expressions::Expression > const &initValue, bool transient)	storm::jani::Variable	static
makeBoundedIntegerVariable(std::string const &name, storm::expressions::Variable const &variable, boost::optional< storm::expressions::Expression > const &initValue, bool transient, boost::optional< storm::expressions::Expression > const &lowerBound, boost::optional< storm::expressions::Expression > const &upperBound)	storm::jani::Variable	static
makeBoundedRealVariable(std::string const &name, storm::expressions::Variable const &variable, boost::optional< storm::expressions::Expression > const &initValue, bool transient, boost::optional< storm::expressions::Expression > const &lowerBound, boost::optional< storm::expressions::Expression > const &upperBound)	storm::jani::Variable	static
makeBoundedVariable(std::string const &name, BoundedType::BaseType const &type, storm::expressions::Variable const &variable, boost::optional< storm::expressions::Expression > const &initValue, bool transient, boost::optional< storm::expressions::Expression > const &lowerBound, boost::optional< storm::expressions::Expression > const &upperBound)	storm::jani::Variable	static
makeClockVariable(std::string const &name, storm::expressions::Variable const &variable, boost::optional< storm::expressions::Expression > const &initValue, bool transient)	storm::jani::Variable	static
makeContinuousVariable(std::string const &name, storm::expressions::Variable const &variable, boost::optional< storm::expressions::Expression > const &initValue, bool transient)	storm::jani::Variable	static
makeIntegerVariable(std::string const &name, storm::expressions::Variable const &variable, boost::optional< storm::expressions::Expression > const &initValue, bool transient)	storm::jani::Variable	static
makeRealVariable(std::string const &name, storm::expressions::Variable const &variable, boost::optional< storm::expressions::Expression > const &initValue, bool transient)	storm::jani::Variable	static
makeVariable(std::string const &name, JaniType const &type, storm::expressions::Variable const &variable, boost::optional< storm::expressions::Expression > const &initValue, bool transient)	storm::jani::Variable	static
setExpressionVariable(storm::expressions::Variable const &newVariable)	storm::jani::Variable
setInitExpression(storm::expressions::Expression const &initialExpression)	storm::jani::Variable
setName(std::string const &newName)	storm::jani::Variable
substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution, bool const substituteTranscendentalNumbers)	storm::jani::Variable
Variable(std::string const &name, JaniType const &type, storm::expressions::Variable const &variable, storm::expressions::Expression const &init, bool transient=false)	storm::jani::Variable
Variable(std::string const &name, JaniType const &type, storm::expressions::Variable const &variable)	storm::jani::Variable
~Variable()	storm::jani::Variable