Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::expressions::ExpressionEvaluatorBase< RationalReturnType > Member List

This is the complete list of members for storm::expressions::ExpressionEvaluatorBase< RationalReturnType >, including all inherited members.

asBool(Expression const &expression) const =0storm::expressions::ExpressionEvaluatorBase< RationalReturnType >pure virtual
asInt(Expression const &expression) const =0storm::expressions::ExpressionEvaluatorBase< RationalReturnType >pure virtual
asRational(Expression const &expression) const =0storm::expressions::ExpressionEvaluatorBase< RationalReturnType >pure virtual
ExpressionEvaluatorBase(storm::expressions::ExpressionManager const &manager)storm::expressions::ExpressionEvaluatorBase< RationalReturnType >
getManager() conststorm::expressions::ExpressionEvaluatorBase< RationalReturnType >protected
setBooleanValue(storm::expressions::Variable const &variable, bool value)=0storm::expressions::ExpressionEvaluatorBase< RationalReturnType >pure virtual
setIntegerValue(storm::expressions::Variable const &variable, int_fast64_t value)=0storm::expressions::ExpressionEvaluatorBase< RationalReturnType >pure virtual
setRationalValue(storm::expressions::Variable const &variable, double value)=0storm::expressions::ExpressionEvaluatorBase< RationalReturnType >pure virtual
~ExpressionEvaluatorBase()=defaultstorm::expressions::ExpressionEvaluatorBase< RationalReturnType >virtual