Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::jani::Constant Member List

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

Constant(std::string const &name, storm::expressions::Variable const &variable, storm::expressions::Expression const &definingExpression=storm::expressions::Expression(), storm::expressions::Expression const &constraintExpression=storm::expressions::Expression())storm::jani::Constant
define(storm::expressions::Expression const &expression)storm::jani::Constant
getConstraintExpression() conststorm::jani::Constant
getExpression() conststorm::jani::Constant
getExpressionVariable() conststorm::jani::Constant
getName() conststorm::jani::Constant
getType() conststorm::jani::Constant
hasConstraint() conststorm::jani::Constant
isBooleanConstant() conststorm::jani::Constant
isDefined() conststorm::jani::Constant
isIntegerConstant() conststorm::jani::Constant
isRealConstant() conststorm::jani::Constant
setConstraintExpression(storm::expressions::Expression const &expression)storm::jani::Constant