Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::prism::BooleanVariable Member List

This is the complete list of members for storm::prism::BooleanVariable, including all inherited members.

BooleanVariable()=defaultstorm::prism::BooleanVariable
BooleanVariable(BooleanVariable const &other)=defaultstorm::prism::BooleanVariable
BooleanVariable(BooleanVariable &&other)=defaultstorm::prism::BooleanVariable
BooleanVariable(storm::expressions::Variable const &variable, storm::expressions::Expression const &initialValueExpression, bool observable, std::string const &filename="", uint_fast64_t lineNumber=0)storm::prism::BooleanVariable
createMissingInitialValue() overridestorm::prism::BooleanVariablevirtual
getExpression() conststorm::prism::Variable
getExpressionVariable() conststorm::prism::Variable
getFilename() conststorm::prism::LocatedInformation
getInitialValueExpression() conststorm::prism::Variable
getLineNumber() conststorm::prism::LocatedInformation
getName() conststorm::prism::Variable
hasInitialValue() conststorm::prism::Variable
isObservable() conststorm::prism::Variable
LocatedInformation(std::string const &filename, uint_fast64_t lineNumber)storm::prism::LocatedInformation
LocatedInformation()=defaultstorm::prism::LocatedInformation
LocatedInformation(LocatedInformation const &other)=defaultstorm::prism::LocatedInformation
LocatedInformation(LocatedInformation &&other)=defaultstorm::prism::LocatedInformation
operator<<storm::prism::BooleanVariablefriend
operator=(BooleanVariable const &other)=defaultstorm::prism::BooleanVariable
operator=(BooleanVariable &&other)=defaultstorm::prism::BooleanVariable
storm::prism::Variable::operator=(Variable const &otherVariable)=defaultstorm::prism::Variable
storm::prism::Variable::operator=(Variable &&otherVariable)=defaultstorm::prism::Variable
storm::prism::LocatedInformation::operator=(LocatedInformation const &other)=defaultstorm::prism::LocatedInformation
storm::prism::LocatedInformation::operator=(LocatedInformation &&other)=defaultstorm::prism::LocatedInformation
setFilename(std::string const &filename)storm::prism::LocatedInformation
setInitialValueExpression(storm::expressions::Expression const &initialValueExpression)storm::prism::Variable
setLineNumber(uint_fast64_t lineNumber)storm::prism::LocatedInformation
substitute(std::map< storm::expressions::Variable, storm::expressions::Expression > const &substitution) conststorm::prism::BooleanVariable
substituteNonStandardPredicates() conststorm::prism::BooleanVariable
Variable(Variable const &otherVariable)=defaultstorm::prism::Variable
Variable(Variable &&otherVariable)=defaultstorm::prism::Variable
Variable()=defaultstorm::prism::Variableprotected
Variable(storm::expressions::Variable const &variable, storm::expressions::Expression const &initialValueExpression, bool observable=false, std::string const &filename="", uint_fast64_t lineNumber=0)storm::prism::Variableprotected
Variable(storm::expressions::ExpressionManager &manager, Variable const &oldVariable, std::string const &newName, std::map< storm::expressions::Variable, storm::expressions::Expression > const &renaming, bool observable=false, std::string const &filename="", uint_fast64_t lineNumber=0)storm::prism::Variableprotected
~Variable()=defaultstorm::prism::Variablevirtual