storm::expressions::ExpressionManager Member List

This is the complete list of members for storm::expressions::ExpressionManager, including all inherited members.

begin() const	storm::expressions::ExpressionManager
boolean(bool value) const	storm::expressions::ExpressionManager
clone() const	storm::expressions::ExpressionManager
const_iterator typedef	storm::expressions::ExpressionManager
declareArrayVariable(std::string const &name, Type const &elementType, bool auxiliary=false)	storm::expressions::ExpressionManager
declareBitVectorVariable(std::string const &name, std::size_t width, bool auxiliary=false)	storm::expressions::ExpressionManager
declareBooleanVariable(std::string const &name, bool auxiliary=false)	storm::expressions::ExpressionManager
declareFreshBooleanVariable(bool auxiliary=false, std::string const &prefix="_x")	storm::expressions::ExpressionManager
declareFreshIntegerVariable(bool auxiliary=false, std::string const &prefix="_x")	storm::expressions::ExpressionManager
declareFreshRationalVariable(bool auxiliary=false, std::string const &prefix="_x")	storm::expressions::ExpressionManager
declareFreshVariable(storm::expressions::Type const &variableType, bool auxiliary=false, std::string const &prefix="_x")	storm::expressions::ExpressionManager
declareIntegerVariable(std::string const &name, bool auxiliary=false)	storm::expressions::ExpressionManager
declareOrGetVariable(std::string const &name, storm::expressions::Type const &variableType, bool auxiliary=false)	storm::expressions::ExpressionManager
declareRationalVariable(std::string const &name, bool auxiliary=false)	storm::expressions::ExpressionManager
declareVariable(std::string const &name, storm::expressions::Type const &variableType, bool auxiliary=false)	storm::expressions::ExpressionManager
declareVariableCopy(Variable const &variable)	storm::expressions::ExpressionManager
end() const	storm::expressions::ExpressionManager
ExpressionManager()	storm::expressions::ExpressionManager
ExpressionManager(ExpressionManager &&other)=default	storm::expressions::ExpressionManager
getArrayType(Type elementType) const	storm::expressions::ExpressionManager
getBitVectorType(std::size_t width) const	storm::expressions::ExpressionManager
getBooleanType() const	storm::expressions::ExpressionManager
getIntegerType() const	storm::expressions::ExpressionManager
getNumberOfArrayVariables() const	storm::expressions::ExpressionManager
getNumberOfBitVectorVariables() const	storm::expressions::ExpressionManager
getNumberOfBooleanVariables() const	storm::expressions::ExpressionManager
getNumberOfIntegerVariables() const	storm::expressions::ExpressionManager
getNumberOfRationalVariables() const	storm::expressions::ExpressionManager
getNumberOfVariables() const	storm::expressions::ExpressionManager
getOffset(uint_fast64_t index) const	storm::expressions::ExpressionManager
getRationalType() const	storm::expressions::ExpressionManager
getSharedPointer()	storm::expressions::ExpressionManager
getSharedPointer() const	storm::expressions::ExpressionManager
getTranscendentalNumberType() const	storm::expressions::ExpressionManager
getVariable(std::string const &name) const	storm::expressions::ExpressionManager
getVariableExpression(std::string const &name) const	storm::expressions::ExpressionManager
getVariableName(uint_fast64_t index) const	storm::expressions::ExpressionManager
getVariables() const	storm::expressions::ExpressionManager
getVariableType(uint_fast64_t index) const	storm::expressions::ExpressionManager
hasVariable(std::string const &name) const	storm::expressions::ExpressionManager
integer(int_fast64_t value) const	storm::expressions::ExpressionManager
operator<<	storm::expressions::ExpressionManager	friend
operator=(ExpressionManager &&other)=default	storm::expressions::ExpressionManager
operator==(ExpressionManager const &other) const	storm::expressions::ExpressionManager
rational(double value) const	storm::expressions::ExpressionManager
rational(storm::RationalNumber const &value) const	storm::expressions::ExpressionManager
VariableIterator	storm::expressions::ExpressionManager	friend
~ExpressionManager()	storm::expressions::ExpressionManager